1432 search results - page 74 / 287 » Executable Protocol Models as a Requirements Engineering Too... |
160
click to vote
AGENTCL
2003
Springer
15 years 8 months ago
2003
Springer
CHOPRA, AMIT KHUSHWANT. Nonmonotonic Commitment Machines. (Under the direction of Dr. Munindar P. Singh). Protocols in open and dynamic multiagent systems cannot be modeled via fo...
126
Voted
SOFSEM
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. The increasing complexity of today’s embedded systems applications imposes the requirements and constraints of distributed, heterogeneous subsystem interaction to softw...
141
click to vote
AOSD
2009
ACM
15 years 10 months ago
2009
ACM
e is an aspect-oriented hardware verification language that is widely used to verify the design of electronic circuits through the development and execution of testbenches. In rec...
137
click to vote
SIGSOFT
2007
ACM
16 years 4 months ago
2007
ACM
When enacting a web service orchestration defined using the Business Process Execution Language (BPEL) we observed various safety property violations. This surprised us considerab...
122
Voted
AMAST
2004
Springer
15 years 8 months ago
2004
Springer
JavaFAN uses a Maude rewriting logic specification of the JVM semantics as the basis of a software analysis tool with competitive performance. It supports formal analysis of concu...