5085 search results - page 642 / 1017 » Multidimensional Design by Examples |
187
click to vote
INFOCOM
2005
IEEE
16 years 1 months ago
2005
IEEE
Abstract— An ad hoc wireless network is an autonomous selforganizing system of mobile nodes connected by wireless links where nodes not in direct range communicate via intermedia...
197
click to vote
PLDI
2005
ACM
16 years 1 months ago
2005
ACM
Faults that occur in production systems are the most important faults to fix, but most production systems lack the debugging facilities present in development environments. TraceB...
180
Voted
FM
2005
Springer
16 years 1 months ago
2005
Springer
The Mondex Electronic Purse system [18] is an outstanding example of formal refinement techniques applied to a genuine industrial scale application, and notably, was the first ve...
241
click to vote
ICFEM
2005
Springer
16 years 29 days ago
2005
Springer
We provide precise high-level models for eight fundamental service interaction patterns, together with schemes for their composition into complex service-based business process int...
213
click to vote
ICFEM
2005
Springer
16 years 29 days ago
2005
Springer
Abstract. Theorem provers, model checkers, static analyzers, test generators. . . all of these and many other kinds of formal methods tools can contribute to the analysis and devel...