5398 search results - page 192 / 1080 » On the Effective Use of Software Standards in Systems Integr... |
155
click to vote
ECLIPSE
2007
ACM
15 years 10 months ago
2007
ACM
Software development involves the use of many models and Eclipse provides an ideal infrastructure for building tools to support the use of models. While there is a large selection...
158
click to vote
ATAL
2003
Springer
15 years 11 months ago
2003
Springer
This paper introduces a methodology to help the programmer in the transition from a set of desired global properties expressed as an equation-based model (EBM) that a Multi-Agent ...
159
click to vote
CIIA
2009
15 years 7 months ago
2009
The power of Petri nets resides on the availability of several tools for analysis and verification of properties of systems. Users have to combine the functionality of tools in dif...
156
click to vote
SYSTOR
2009
ACM
16 years 1 months ago
2009
ACM
Virtualization is becoming widely deployed in servers to efficiently provide many logically separate execution environments while reducing the need for physical servers. While th...
156
click to vote
HICSS
2008
IEEE
16 years 1 months ago
2008
IEEE
The Service-Oriented Architecture (SOA) paradigm promises to enable software vendors to compose software systems using services purchased from various suppliers. In this paper, we...