77016 search results - page 559 / 15404 » Modeling |
175
click to vote
TACAS
2004
Springer
16 years 13 days ago
2004
Springer
Abstract. Model checking suffers not only from the state-space explosion problem, but also from the environment modeling problem: how can one create an accurate enough model of the...
185
click to vote
UML
2004
Springer
16 years 13 days ago
2004
Springer
Abstract. This paper addresses the problem of consistency preservation in model-driven software development. Software models typically embody many different views that need to be ...
218
click to vote
3DIM
2003
IEEE
16 years 12 days ago
2003
IEEE
Adaptive fusion of new information in a 3D urban scene is an important goal to achieve in computer vision, graphics, and visualization. In this work we acquire new image pairs of ...
291
click to vote
LICS
2003
IEEE
16 years 11 days ago
2003
IEEE
Probability features increasingly often in software and hardware systems: it is used in distributed co-ordination and routing problems, to model fault-tolerance and performance, a...
168
click to vote
SIGUCCS
2003
ACM
16 years 10 days ago
2003
ACM
This paper will explore the SNet model that Hunter College of the City University of New York developed and implemented. During the Spring of 2002, CUNY as a central organization ...