250 search results - page 17 / 50 » Designing Protocols for Collaborative Translation |
SPIN
2010
Springer
13 years 6 months ago
2010
Springer
In the field of communication networks, protocol engineers usually employ several tools focused on specific kinds of analysis, such as performance or correctness. This paper pres...
SIGSOFT
2004
ACM
14 years 8 months ago
2004
ACM
This paper introduces declarative event patterns (DEPs) as a means to implement protocols while improving their traceability, comprehensibility, and maintainability. DEPs are desc...
FSEN
2009
Springer
13 years 11 months ago
2009
Springer
The rCOS modeler implements the requirements modelling phase of a model driven component-based software engineering process. Components are specified in rCOS, a relational calculus...
CN
2010
13 years 5 months ago
2010
The growth of the Internet has brought about many challenges for its critical infrastructure. The DNS infrastructure, which translates mnemonic host names into IP addresses unders...
RTSS
2007
IEEE
14 years 1 months ago
2007
IEEE
Time-triggered architectures (TTAs) are strong candidate platforms for safety-critical real-time applications. A typical time-triggered architecture is constituted by one or more ...