3765 search results - page 124 / 753 » Formal Methods for Systems Engineering Behavior Models |
125
Voted
APSEC
2005
IEEE
15 years 8 months ago
2005
IEEE
Software-intensive systems are systems of systems that rely on complex interdependencies among themselves as well as with their operational environment to satisfy the required beh...
104
Voted
DAC
2009
ACM
15 years 9 months ago
2009
ACM
The latest advancements in the commercial formal model checkers have enabled the integration of formal property verification with the conventional testbench based methods in the o...
GECCO
2005
Springer
15 years 8 months ago
2005
Springer
We sketch a framework for learning structured coordinated behavior, specifically the tactical behavior of Experimental Unmanned Vehicles (XUVs). We conceptualize an XUV unit as a ...
130
Voted
ZUM
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. Web-based applications are the most common form of distributed systems that have gained a lot of attention in the past ten years. Today many of us are relying on scores o...
130
Voted
SIGSOFT
2009
ACM
15 years 9 months ago
2009
ACM
Web-services are broadly considered as an effective means to achieve interoperability between heterogeneous parties of a business process and offer an open platform for developing...