1179 search results - page 192 / 236 » Relative Timing Based Verification of Timed Circuits and Sys... |
156
click to vote
BPM
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. In order to support business processes effectively, their implementation by a process management systems (PMS) must be as close to the real world’s processes as possib...
172
click to vote
APSEC
1998
IEEE
15 years 8 months ago
1998
IEEE
Modified programs are required to be retested to determine whether changes have been made correctly and to investigate whether those cause any adverse effect on the program behavi...
147
click to vote
AIIDE
2009
15 years 5 months ago
2009
Although in theory opponent modeling can be useful in any adversarial domain, in practice it is both difficult to do accurately and to use effectively to improve game play. In thi...
152
click to vote
EUROPAR
2010
Springer
15 years 5 months ago
2010
Springer
In a Cyclic Mobile Ad Hoc Network (CMANET) where nodes move cyclically, we formulate trust management problems and propose the cTrust scheme to handle trust establishment and aggre...
152
click to vote
RE
2006
Springer
15 years 4 months ago
2006
Springer
This paper introduces an information retrieval based approach for automating the detection and classification of non-functional requirements (NFRs). Early detection of NFRs is use...