449 search results - page 60 / 90 » Formal Modeling of Communication Protocols by Graph Transfor... |
HICSS
2002
IEEE
15 years 6 months ago
2002
IEEE
As XML is gathering more and more importance in the field of data interchange in distributed business to business (B2B) applications, it is increasingly important to provide a for...
123
click to vote
ATAL
2005
Springer
15 years 7 months ago
2005
Springer
Whilst tools assist the various tasks required to develop a multi-agent system (MAS), yet there still remains a gap between the generation of MAS models and program code. AUML dev...
111
click to vote
ICC
2007
IEEE
15 years 7 months ago
2007
IEEE
— As content delivery to wireless devices becomes faster and scalable, it is likely that mobile commerce will constitute a significant portion of digital commerce. In markets, b...
141
click to vote
CORR
2004
Springer
15 years 1 months ago
2004
Springer
Full formal descriptions of algorithms making use of quantum principles must take into account both quantum and classical computing components and assemble them so that they commu...
ENTCS
2006
15 years 1 months ago
2006
We introduce a rewrite-based specification language for modelling probabilistic concurrent and distributed systems. The language, based on PMaude, has both a rigorous formal basis...