2607 search results - page 223 / 522 » On the Architecture of System Verification Environments |
159
click to vote
ANCS
2008
ACM
15 years 8 months ago
2008
ACM
Nearly all programmable commercial hardware solutions offered for high-speed networking systems are capable of meeting the performance and flexibility requirements of equipment ve...
177
click to vote
EUROSSC
2006
Springer
15 years 10 months ago
2006
Springer
We consider the challenge of dynamically adapting services to context changes that occur in ubiquitous computing environments (e.g., changes in a user's activity) and propose ...
154
click to vote
ATAL
2005
Springer
16 years 3 days ago
2005
Springer
We present here Extended Markov Tracking (EMT), a computationally tractable method for the online estimation of Markovian system dynamics, along with experimental support for its ...
181
click to vote
CDVE
2007
Springer
16 years 23 days ago
2007
Springer
In order to build complex, large-scale, dependable systems it is necessary to use a development environment with an integrated set of capabilities that supports editing and formal...
209
click to vote
CHI
1997
ACM
15 years 10 months ago
1997
ACM
MOBI-D (Model-Based Interface Designer) is a software environment the design and development of user interfaces from declarative interface models. End-users informally describe ta...