3045 search results - page 345 / 609 » Formal Approaches to Software Architecture |
167
click to vote
PROMAS
2005
Springer
16 years 8 days ago
2005
Springer
Multi-agent system(MAS) is a blooming research area, which exhibits a new paradigm for the design, modelling and implementation of complex systems. A significant amount of effort...
305
click to vote
FMCAD
1998
Springer
15 years 11 months ago
1998
Springer
We present a new approach to the verification of hardware systems with data dependencies using temporal logic symbolic model checking. As a benchmark we take Tomasulo's algori...
169
click to vote
DAGSTUHL
2006
15 years 8 months ago
2006
Interorganizational cooperation is more and more organized by the paradigm of services. Service-oriented architectures (SOA) provide a general framework for service interaction. SO...
200
click to vote
ANCS
2010
ACM
15 years 4 months ago
2010
ACM
: sNICh: Efficient Last Hop Networking in the Data Center Kaushik Kumar Ram, Jayaram Mudigonda, Alan L. Cox, Scott Rixner, Partha Ranganathan, Jose Renato Santos HP Laboratories H...
206
click to vote
COMPSAC
2009
IEEE
15 years 4 months ago
2009
IEEE
Vast quantities of data is created by utilizing sensors to gather information from patients located in intensive care units worldwide through physiological monitoring. The service ...