Sciweavers

2435 search results - page 105 / 487
» GPSS - 40 years of development
Sort
View
IPPS
2005
IEEE
15 years 11 months ago
Towards Quantitative Analysis of Real-Time UML Using Stochastic Petri Nets
In recent years the Unified Modeling Language (UML) including its profiles gained increasing acceptance as a specification language for modeling real-time systems. It is crucia...
Jan Trowitzsch, Armin Zimmermann, Günter Homm...
SIGMOD
2005
ACM
128views Database» more  SIGMOD 2005»
15 years 11 months ago
Event processing with an oracle database
In this paper, we examine how active database technology developed over the past few years has been put to use to solve real world problems. We note how the technology had to be e...
Bob Thome, Dieter Gawlick, Maria Pratt
KR
2004
Springer
15 years 11 months ago
Observation Expectation Reasoning in Agent Systems
The computational grounding problem – the gap between the mental models of an agent and its computational model – is a well known problem within the agent research community. ...
Bình Vu Trân, James Harland, Margaret...
ACSD
2003
IEEE
91views Hardware» more  ACSD 2003»
15 years 11 months ago
A Polynomial-Time Algorithm for Checking Consistency of Free-Choice Signal Transition Graphs
Signal Transition Graphs (STGs) are one of the most popular models for the specification of asynchronous circuits. A STG can be implemented if it admits a so-called consistent an...
Javier Esparza
155
Voted
AVSS
2003
IEEE
15 years 11 months ago
A Survey of Camera Self-Calibration
This paper surveys the developments of the last 10 years in the area of camera self-calibration. In order to solve this problem, researches have used the camera intrinsic constrai...
Elsayed E. Hemayed