1669 search results - page 44 / 334 » Structured Specification of Model Interpreters |
107
Voted
ENTCS
2000
15 years 2 months ago
2000
The language MSR has successfully been used in the past to prove undecidability about security protocols modeled according to the Dolev-Yao abstraction. In this paper, we revise t...
159
Voted
ISORC
1998
IEEE
15 years 6 months ago
1998
IEEE
We present a coordination language and its semantics for specification and implementation of object-oriented realtime systems. Real-time systems operate under real-time constraint...
115
click to vote
ACL
1998
15 years 3 months ago
1998
This paper presents a semantic interpretation of adjectival modification in terms of the Generative Lexicon. It highlights the elements which can be borrowed from the GL and devel...
168
Voted
ICCS
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. Sensing is at the core of virtually every DDDAS application. Sensing applications typically involve distributed communication and coordination over large self-organized n...
116
Voted
JOT
2010
15 years 1 months ago
2010
Requirements specification is a collaborative activity that involves several developers specifying the requirements elicited through several stakeholders. Operation-base merging a...