1323 search results - page 15 / 265 » Extended Modeling Languages for Interaction Protocol Design |
SAMOS
2004
Springer
15 years 5 months ago
2004
Springer
The SystemC language plays an increasingly important role in the system-level design domain, facilitating designers to start with modeling and simulating system components and thei...
ATAL
2007
Springer
15 years 6 months ago
2007
Springer
Diagrammatic methodologies for the representation of agent interaction protocols can be classified as joint representations that describe an interaction in terms of a single sequ...
DSRT
2008
IEEE
15 years 6 months ago
2008
IEEE
Security and reliability are of paramount importance in designing and building real-time systems because any security failure can put the public and the environment at risk. In th...
ICECCS
2005
IEEE
15 years 5 months ago
2005
IEEE
SOFL is a formal language and method for software system analysis, specification and design and it fully supports structured techniques and object-oriented techniques. AOP (Aspect...
80
Voted
ICLP
2003
Springer
15 years 5 months ago
2003
Springer
Logic programming is based on the idea that computation is controlled inference. The Extended Andorra Model provides a very powerful framework that supports both co-routining and p...