4350 search results - page 92 / 870 » Case studies for contract-based systems |
148
click to vote
HICSS
2008
IEEE
16 years 21 days ago
2008
IEEE
We present a methodology to engineer services in real-time information environments. We evaluate, combine and enrich traditional techniques and methodologies such as New Product D...
157
click to vote
FDL
2007
IEEE
16 years 17 days ago
2007
IEEE
Abstract—Property-based synthesis has become a more prominent topic during the last years, being used in multiple areas like e.g. formal verification and design automation. We w...
162
click to vote
MKM
2007
Springer
16 years 11 days ago
2007
Springer
We address the problem of automatic synthesis of decision procedures. Our synthesis mechanism consists of several stages and submechanisms and is well-suited to the proof-planning ...
127
click to vote
TRIDENTCOM
2006
IEEE
16 years 7 days ago
2006
IEEE
- Rendezvous among experiment entities appear in network experiments both implicitly and explicitly. When the driving system for a network experiment testbed supports such rendezvo...
226
Voted
ITC
2003
IEEE
15 years 11 months ago
2003
IEEE
This paper describes the implementation of a test pattern language using STIL [1], the IEEE Standard Test Interface Language (1450-1999), in a next generation, open architecture A...