2407 search results - page 366 / 482 » A Tool for Abstraction in Model Checking |
166
Voted
CODES
2005
IEEE
15 years 11 months ago
2005
IEEE
With growing system complexities, system-level communication design is becoming increasingly important and advanced, network-oriented communication architectures become necessary....
135
Voted
TNC
2004
15 years 7 months ago
2004
This paper introduces an environment for distributed video transcoding based on Grid computing infrastructure and Internet Backplane Protocol storage infrastructure. A model for s...
137
Voted
WCE
2007
15 years 7 months ago
2007
Abstract—Positive stable laws have become a standard tool in modelling heavy tailed data in such diverse areas as finance, engineering and survival analysis. Due to the non–ex...
154
click to vote
ICVS
2009
Springer
16 years 22 days ago
2009
Springer
Abstract. Due to stringing time constraints, saliency models are becoming popular tools for building situated robotic systems requiring, for instance, object recognition and vision...
187
Voted
SEFM
2007
IEEE
16 years 13 days ago
2007
IEEE
Various research prototypes and a well-founded theory of model based testing (MBT) suggests the application of MBT to real-world problems. In this article we report on applying th...