Search Results

Search found 312 results on 13 pages for 'theorem proving'.

Page 7/13 | < Previous Page | 3 4 5 6 7 8 9 10 11 12 13  | Next Page >

• Software Design Idea for multi tier architecture

  - by Preyash

  I am currently investigating multi tier architecture design for a web based application in MVC3. I already have an architecture but not sure if its the best I can do in terms of extendability and performance. The current architecure has following components DataTier (Contains EF POCO objects) DomainModel (Contains Domain related objects) Global…

  Read the article

• How to diagram custom programming languages, non textual?

  - by Adam

  I've used and created domain-specific languages before, plenty of times (e.g. using yacc/lex). Normally we'd start with grammar written in BNF, and a bunch of keywords. This is easy to do, easy to share. Recently, I've started working with diagrammatic programming languages - closest parallel is circuit-diagrams in electronics, where it's very…

  Read the article

• PHP Image gallery that integrates well into custom CMS

  - by Thorarin

  I've been trying to find an image gallery that plays nice with our custom CMS. I've evaluated a number of them, but none of them seems to have the feature list that I would like: Run on LAMP environment Free software or low license costs (the website belongs to a non-profit organisation) Multi-user support Multiple albums. We're posting…

  Read the article

• ASP.NET design not SOLID

  - by w0051977

  SOLID principles are described here: http://en.wikipedia.org/wiki/SOLID_%28object-oriented_design%29 I am developing a large ASP.NET app. The previous developer created a few very large classes each with lots of different purposes. It is very difficult to maintain and extend. The classes are deployed to the web server along with the code…

  Read the article

• Making an svg image object clickable with onclick, avoiding absolute positioning

  - by user256410

  I have tried to change the images on my site from to svg, changing img tags to embed and object tags(standard procedure, i think). But, implementing the onclick function, which previously was contained in the img tag is proving most difficult. I found onclick had no effect when placed inside the object or embed tag. So, I made a div…

  Read the article

• CSS / HTML centering a textbox

  - by Robert

  This should be easy but its proving difficult... My element I want centred is exactly this <input type="text"> I don't want the text centred, just the text box within the outer div. This is my attempt which is not working <div class ="temp123"> <input type="text" /> </div> Where: .temp123 { margin: 0…

  Read the article

• iPad leak - NSPushAutoreleasePool

  - by Tim Bowen

  We are getting a sizable leak (16kb) that is proving very difficult to eliminate. The responsible library is Foundation and the Responsible frame is NSPushAutoreleasePool. This leak does not appear on the iPhone, only the iPad. We get the following stack trace: 9 libSystem.B.dylib thread_assign_default 8 libSystem.B.dylib…

  Read the article

• transform List<XElement> to List<XElement.Value>

  - by Miau

  I have a result of a xlinq that is an enumerable with id and phones, I want to transform that to a Dictionary, that part is simple, however the part of transforming the phone numbers from a XElement to a string its proving hard xLinqQuery.ToDictionary(e => e.id, e => e.phones.ToList()); will return Dictionary<int,…

  Read the article

• How to outperform this regex replacement?

  - by spender

  After considerable measurement, I have identified a hotspot in one of our windows services that I'd like to optimize. We are processing strings that may have multiple consecutive spaces in it, and we'd like to reduce to only single spaces. We use a static compiled regex for this task: private static readonly Regex …

  Read the article

• Interpretation of empty User-agent

  - by Amit Agrawal

  How should I interpret a empty User-agent? I have some custom analytics code and that code has to analyze only human traffic. I have got a working list of User-agents denoting human traffic, and bot traffic, but the empty User-agent is proving to be problematic. And I am getting lots of traffic with empty user agent -…

  Read the article

• WMI, WQL, Management Event Objects, MEWatcher Etc, Tutorials (C#)???

  - by IbrarMumtaz

  Anybody got any any tutorials that cover these subjects ... the official MS 70-536 book covers this but I don't want to take any chances as I want additional reading materials problem is, its proving difficult to find anything on it. It's a fairly big subject so am hoping somone on here as here as got some good…

  Read the article

• Is there a HIPAA certification that would be helpful to programmers?

  - by Aequitarum Custos

  I work at a Medical Billing company that's software handles many facets of the centers practice, including patients, treatments, etc. To be frank, the only thing I know about HIPAA is security is paramount. I was wondering if there were any training courses with an earned certification proving…

  Read the article

• Tracking object entries when "playing" a Windows Enhanced Metafile

  - by lzcd

  One of my current projects requires that I work out what colours are being used in an EMF file. I have been able to successfully whip up a file parser in C# that notes all references to colours... but haven't had any luck tracking which objects are in use across the entire file so I can apart…

  Read the article

• UIAlertView crashing on undocumented method

  - by morticae

  Our app has been crashing with a frequency of roughly 1 in 1,500 launches due to a bug that is proving elusive. The relevant portion of the stack trace is included. It's being fired as a callback so I have no reference for where it's occurring in my own code. It looks like what's going on…

  Read the article

• Spring 3 Annotations

  - by jboyd

  I can't get spring annotations to work at all, I'm just trying to get the simplest thing to work... .../mycontext/something - invokes method: @RequestMapping(value = "/something") @ResponseBody public String helloWorld() { System.out.println("hello world"); return "Hello World"; } …

  Read the article

• How do people prove the correctness of Computer Vision methods?

  - by solvingPuzzles

  I'd like to pose a few abstract questions about computer vision research. I haven't quite been able to answer these questions by searching the web and reading papers. How does someone know whether a computer vision algorithm is correct? How do we define "correct" in the context of computer…

  Read the article

• Map Custom URL protocol to HTTP (using NSURLProtocol?)

  - by Francisco Ryan Tolmasky I

  I have an application using a WebKit WebView and I'd like to map URL's that are loaded in this WebView with a custom URL protocol to a different HTTP URL. For example, say I am loading: custom://path/to/resource I would like to internally actually load: …

  Read the article

• How can I equalize the heights of text input fields?

  - by David

  What is the best way to equalize the height of my <select..> elements and my <input type="text"..> elements? It's proving difficult because of differences in box-sizing models. Google Chrome's user agent stylesheet has this: select {…

  Read the article

• Packaging one or two plugins as a standalone RCP application?

  - by Martin Cowie

  I have a handful of Eclipse plugins that I maintain. They are proving useful enough that non Eclipse users have asked for them without the overhead of a full eclipse install. I am certain this is possible, but uncertain how to make this possible.…

  Read the article

• SMS Gateway Devices

  - by u07ch

  Can anyone recommend a good SMS Gateway device that sends and receives messages and has a reasonable API. We are looking for a hardware device that a Sim Card and works with Windows / .Net. I am working with about 50 different countries (Right…

  Read the article

• Detecting incorrect key using AES/GCM in JAVA

  - by 4r1y4n

  I'm using AES to encrypt/decrypt some files in GCM mode using BouncyCastle. While I'm proving wrong key for decryption there is no exception. How should I check that the key is incorrect? my code is this: SecretKeySpec incorrectKey =…

  Read the article

• Python unicode issues (2.6)

  - by ephemeralis

  I'm currently working on a irc bot for a multi-lingual channel, and I'm encountering some issues with unicode which are proving nearly impossible to solve. No matter what configuration of unicode encoding I seem to try, the list function…

  Read the article

• Find products that have a list of attributes.

  - by bellesebastien

  I'm stuck trying to solve a problem that's proving to be more difficult than it seems. Consider there is a table that associates products with attributes, it looks like this: Products_id | Attribute_id 21 | 456 21 …

  Read the article

• Django's manage.py shell won't indent

  - by hora

  I seem to have run into a strange bug or more likely some setting I am unfamiliar with on my system that is not allowing me to tab when I am in Django's shell (python manage.py shell is how I run it). For obvious reasons this is proving…

  Read the article

• ExpressionEngine 2 module "tag cannot be processed"

  - by Phil Sturgeon

  So I have turned my hand to ExpressionEngine and while the backend crud was easy enough getting the frontend working with template syntax is proving difficult, even at the "hello world" level. …

  Read the article

< Previous Page | 3 4 5 6 7 8 9 10 11 12 13  | Next Page >