362 search results - page 46 / 73 » Facilitating Requirements Engineering of Semantic Applicatio... |
112
click to vote
TSE
1998
15 years 3 days ago
1998
—New protocols are often useful, but are hard to implement well. Protocol synthesis is a solution, but synthesized protocols can be slow. Implementing protocols will be even more...
91
Voted
COMPSAC
1998
IEEE
15 years 4 months ago
1998
IEEE
This paper describes the application of a suite of innovative information processing and analytic support tools developed at The MITRE Corporation, in some cases as extensions of ...
ICST
2010
IEEE
14 years 11 months ago
2010
IEEE
Abstract—In this paper we introduce Timed Moore Automata, a specification formalism which is used in industrial train control applications for specifying the real-time behavior ...
98
Voted
WISE
2002
Springer
15 years 5 months ago
2002
Springer
Web transactions may be complex, composed of several sub-transactions accessing different resources including legacy systems. They may also have complex semantics. To deal with co...
210
click to vote
POPL
2007
ACM
16 years 23 days ago
2007
ACM
Massive amounts of useful data are stored and processed in ad hoc formats for which common tools like parsers, printers, query engines and format converters are not readily availa...