15635 search results - page 2798 / 3127 » Modelling and Design of VAML |
159
click to vote
RTSS
2006
IEEE
16 years 23 days ago
2006
IEEE
A real-time database is composed of real-time objects whose values remain valid only within their validity intervals. Each object in the database models a real world entity. The f...
179
click to vote
SEFM
2006
IEEE
16 years 23 days ago
2006
IEEE
We define a model of labelled product systems of automata and explore its connections with process calculi and trace languages. Bisimilarity of labelled product systems is defin...
200
click to vote
WCRE
2006
IEEE
16 years 23 days ago
2006
IEEE
The understanding of the structure of a software system can be improved by analyzing the system’s evolution during development. Visualizations of software history that provide o...
198
click to vote
ACMICEC
2006
ACM
16 years 22 days ago
2006
ACM
Supply chains are a central element of today’s global economy. Existing management practices consist primarily of static interactions between established partners. Global compet...
156
click to vote
APGV
2006
ACM
16 years 22 days ago
2006
ACM
Understanding the robustness and rapidness of human scene categorization has been a focus of investigation in the cognitive sciences over the last decades. At the same time, progr...