12670 search results - page 320 / 2534 » Requirements Modeling |
167
click to vote
LICS
2000
IEEE
15 years 11 months ago
2000
IEEE
We study syntax-free models for name-passing processes. For interleaving semantics, we identify the indexing structure required of an early labelled transition system to support t...
154
click to vote
MODELLIERUNG
2008
15 years 8 months ago
2008
Abstract: Model transformation is not only a crucial but also one of the most complicated aspects of model-driven software development (MDSD). An adequate transformation language i...
137
click to vote
WSC
2004
15 years 8 months ago
2004
The reuse of existing simulations in multiple federations is an important goal of distributed simulation frameworks. However, in order to reuse a federate, its simulation code oft...
212
click to vote
ACL
2012
13 years 9 months ago
2012
Long-span features, such as syntax, can improve language models for tasks such as speech recognition and machine translation. However, these language models can be difficult to u...
177
click to vote
IM
2007
15 years 8 months ago
2007
Abstract— The Optical Burst Switching (OBS) paradigm proposes a new set of transmission protocols and network architectures that permits the high-utilization of the raw bandwidth...