16616 search results - page 354 / 3324 » Extending Extended Vacuity |
169
click to vote
ERLANG
2003
ACM
16 years 1 days ago
2003
ACM
This paper describes how the Erlang programming language could be extended with parameterized modules, in a way that is compatible with existing code. This provides a powerful way...
177
click to vote
CAISE
2003
Springer
16 years 21 hour ago
2003
Springer
Abstract. We present the main features of a system designed to support the development and delivery of web applications through concepts for modularity, reuse and rapid prototyping...
181
Voted
CONCUR
2003
Springer
16 years 19 hour ago
2003
Springer
We consider the problem of checking whether a finite (or ultimately periodic) run satisfies a temporal logic formula. This problem is at the heart of “runtime verification” ...
167
click to vote
DIS
2003
Springer
16 years 16 hour ago
2003
Springer
We present Scilog, an experimental knowledge base to facilitate scientific discovery and reasoning. Scilog extends Prolog by supporting (1) dedicated predicates for specifying and ...
184
Voted
GI
2003
Springer
16 years 8 hour ago
2003
Springer
: Natural Language is not appropriate for reference models because it risks being an in-complete, unstructured and inconsistent form of representation. This paper presents insights...