1829 search results - page 266 / 366 » Towards Validation of Requirements Models |
182
click to vote
LICS
2003
IEEE
15 years 12 months ago
2003
IEEE
This paper reports on and discusses three notions of approximation for Labelled Markov Processes that have been developed last year. The three schemes are improvements over former...
174
click to vote
JTRES
2009
ACM
15 years 11 months ago
2009
ACM
Safety Critical Java is a specification being built on top a subset of interfaces from the Real-Time Specification for Java. It is designed to ease development and analysis of s...
186
click to vote
EUROPAR
2009
Springer
15 years 11 months ago
2009
Springer
This paper addresses the issue of how to meet the strict timing constraints of (soft) real-time virtualized applications while the Virtual Machine (VM) hosting them is undergoing a...
138
click to vote
GI
2001
Springer
15 years 11 months ago
2001
Springer
: With the increase in popularity of XML on the Internet, the requirements of database management systems have shifted from traditional transaction-based databases towards the kind...
195
click to vote
AMET
1998
Springer
15 years 11 months ago
1998
Springer
Abstract. Auction-based electronic commerce is an increasingly interesting domain for AI researchers. In this paper we present an attempt towards the construction of trading agents...