1163 search results - page 178 / 233 » Case Studies of Model Checking for Embedded System Designs |
158
click to vote
WSC
2008
15 years 6 months ago
2008
Despite that simulation possesses an establish background and offers tremendous promise for designing and analyzing complex production systems, manufacturing industry has been les...
129
click to vote
ATAL
2008
Springer
15 years 6 months ago
2008
Springer
on models are abstract representations of systems one wants to study through computer simulation. In multiagent based simulation, such models usually represent agents and their re...
133
click to vote
CHI
2008
ACM
16 years 4 months ago
2008
ACM
We designed an activity-based prototyping process realized in the ActivityDesigner system that combines the theoretical framework of Activity-Centered Design with traditional iter...
131
click to vote
SSDBM
2008
IEEE
15 years 10 months ago
2008
IEEE
We propose an automatic method for modeling a relational database that uses SQL triggers and foreign-keys to efficiently answer positive semantic queries about ground instances for...
144
click to vote
SERP
2010
15 years 2 months ago
2010
As the use of online business systems increase so does the need to produce more efficient and less error prone web based Modeling is a core abstraction mechanism used to manage co...