8627 search results - page 1556 / 1726 » Software Engineering Using RATionale |
155
click to vote
FSTTCS
2005
Springer
16 years 1 days ago
2005
Springer
Monitoring a distributed system to detect a stable property is an important problem with many applications. The problem is especially challenging for a dynamic distributed system b...
137
click to vote
GECCO
2005
Springer
16 years 23 hour 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 ...
155
click to vote
ICFEM
2005
Springer
16 years 16 hour ago
2005
Springer
Abstract. In formal testing, the assumption of input enabling is typically made. This assumption requires all inputs to be enabled anytime. In addition, the useful concept of quies...
168
click to vote
IDEAL
2005
Springer
16 years 11 hour ago
2005
Springer
The design, development, and use of complex systems models raises a unique class of challenges and potential pitfalls, many of which are commonly recurring problems. Over time, res...
172
click to vote
SEKE
2005
Springer
15 years 12 months ago
2005
Springer
Multi-agent systems have become increasingly mature, but their appearance does not make the traditional OO approach obsolete. On the contrary, OO methodologies can benefit from th...