2763 search results - page 68 / 553 » The Dangerous 'All' in Specifications |
KCAP
2003
ACM
14 years 2 months ago
2003
ACM
OntoWeaver is our conceptual modelling methodology and a tool that support the specification and implementation of customized web applications. It relies on a number of different ...
DSN
2000
IEEE
14 years 1 months ago
2000
IEEE
Distributed applications should be able to make use of an object group service in a number of application specific ways. Three main modes of interactions can be identified: (i) re...
ISSTA
2000
ACM
14 years 1 months ago
2000
ACM
A method for finding bugs in code is presented. For given small numbers j and k, the code of a procedure is translated into a relational formula whose models represent all executi...
INFOCOM
1997
IEEE
14 years 1 months ago
1997
IEEE
The non-deterministic behaviors in telecommunication services are well-known as one of the most typical Feature Interactions, and they should be detected and eliminated from the t...
HASKELL
2007
ACM
14 years 1 months ago
2007
ACM
Quasiquoting allows programmers to use domain specific syntax to construct program fragments. By providing concrete syntax for complex data types, programs become easier to read, ...