4636 search results - page 625 / 928 » Modelling and Validation with VipTool |
207
click to vote
RE
2004
Springer
16 years 4 days ago
2004
Springer
Problem Frames are a systematic approach to the decomposition of problems that allows us to relate requirements, domain properties, and machine specifications. Having decomposed a...
174
click to vote
SAMOS
2004
Springer
16 years 4 days ago
2004
Springer
Abstract— The translation of user requirements to system constraints and parameters during an exploration exercise is a hard problem, especially in the context of large scale emb...
155
click to vote
VLDB
2004
ACM
16 years 3 days ago
2004
ACM
Different models have been proposed recently for representing temporal data, tracking historical information, and recovering the state of the document as of any given time, in XM...
187
click to vote
ECRTS
2003
IEEE
16 years 2 days ago
2003
IEEE
Advances in scheduling theory have given designers of control systems greater flexibility over their choice of timing requirements. This could lead to systems becoming more respon...
142
click to vote
HICSS
2003
IEEE
16 years 2 days ago
2003
IEEE
Abstract— Third party developed software add-ins enhance the functionality of a large variety of base software such as operating systems, word processors, spread sheets, graphics...