569 search results - page 96 / 114 » Intent Specifications: An Approach to Building Human-Centere... |
121
click to vote
CADE
2009
Springer
16 years 11 days ago
2009
Springer
In recent years researchers have developed a wide range of powerful automated reasoning systems. We have leveraged these systems to build Jahob, a program specification, analysis, ...
ENTCS
2006
14 years 11 months ago
2006
This paper presents VyrdMC, a runtime verification tool we are building for concurrent software components. The correctness criterion checked by VyrdMC is refinement: Each executi...
106
click to vote
ICDE
2007
IEEE
15 years 3 months ago
2007
IEEE
In business-to-business e-commerce, traditional electronic data interchange (EDI) approaches such as UN/EDIFACT have been superseded by approaches like web services and ebXML. Nev...
105
click to vote
KDD
2006
ACM
16 years 5 days ago
2006
ACM
Motivation: In the field of bioinformatics there is an emerging need to integrate all knowledge discovery steps into a standardized modular framework. Indeed, component-based deve...
114
click to vote
RTCSA
2007
IEEE
15 years 6 months ago
2007
IEEE
RFID middleware systems collect and filter RFID streaming data gathered continuously by numerous readers to process requests from applications. These requests are called continuou...