318 search results - page 23 / 64 » Evaluation of Natural Language Requirements in the MODCONTRO... |
WWW
2005
ACM
14 years 8 months ago
2005
ACM
The reasoning tasks that can be performed with semantic web service descriptions depend on the quality of the domain ontologies used to create these descriptions. However, buildin...
UML
2001
Springer
14 years 13 hour ago
2001
Springer
UML is the de-facto standard language for Object-Oriented analysis and design of information systems. Persistent storage and extraction of data in such systems is supported by dat...
BCSHCI
2008
13 years 9 months ago
2008
Programming is an activity centred primarily around the keyboard which is not necessarily the optimal input device for all users. Little research has taken place into alternative ...
FROCOS
2005
Springer
14 years 1 months ago
2005
Springer
Reasoning about the correctness of program transformations requires a notion of program equivalence. We present an observational semantics for the concurrent lambda calculus with f...
PVLDB
2010
13 years 6 months ago
2010
Commercial databases compete for market share, which is composed of not only net-new sales to those purchasing a database for the first time, but also competitive “win-backs”...