1856 search results - page 200 / 372 » Formal Dialectic Specification |
165
click to vote
DAC
2006
ACM
16 years 7 months ago
2006
ACM
A simple protocol for latency-insensitive design is presented. The main features of the protocol are the efficient implementation of elastic communication channels and the automat...
187
click to vote
SIGSOFT
2005
ACM
16 years 7 months ago
2005
ACM
Charmy is a framework for designing and validating architectural specifications. In the early stages of the software development process, the Charmy framework assists the software...
153
click to vote
EDBT
2002
ACM
16 years 6 months ago
2002
ACM
The IPSI XQuery Demonstrator (IPSI-XQ) implements the XQuery surface syntax, its mapping to the XQuery Core Language, and the static and dynamic semantics of XQuery Core "by t...
172
click to vote
ECTEL
2007
Springer
16 years 22 days ago
2007
Springer
: Current learning modelling languages do not allow formalization of scripts where generic tools are required. This limitation is especially relevant on remote courses when using c...
129
click to vote
CIMCA
2006
IEEE
16 years 19 days ago
2006
IEEE
In this paper, we present a simulation model specifically for investigating formal and informal organisational structures. CAVALIER-NPA (Networks of Planning Agents) is an agent-b...