449 search results - page 22 / 90 » Formal Modeling of Communication Protocols by Graph Transfor... |
130
click to vote
ICCS
1999
Springer
15 years 4 months ago
1999
Springer
Conceptual Graphs and Formal Concept Analysis have in common basic concerns: the focus on conceptual structures, the use of diagrams for supporting communication, the orientation b...
ICWE
2007
Springer
15 years 5 months ago
2007
Springer
In recent years, innovation in technologies such as web services, business process automation, etc., have motivated a new paradigm in the application development field to appear, k...
ACSD
1998
IEEE
15 years 4 months ago
1998
IEEE
The development of an interactive application is a complex task that has to consider data, behavior, intercommunication, architecture and distribution aspects of the modeled syste...
CCS
2003
ACM
15 years 5 months ago
2003
ACM
Security is a crucial aspect in any modern software system. To ensure security in the final product, security requirements must be considered in the entire software development p...
ENTCS
2008
14 years 11 months ago
2008
We present the current state of our STSLib project. This project aims at defining an environment to formally specify and execute software components. One important feature is that...