7557 search results - page 551 / 1512 » Modeling Timed Concurrent Systems |
200
click to vote
TIME
2009
IEEE
16 years 1 months ago
2009
IEEE
—Towards a data-centric workflow approach, we introduce an artifact model to capture data and workflow management activities in distributed settings. The model is built on Acti...
201
click to vote
RSP
2003
IEEE
16 years 8 days ago
2003
IEEE
Model-based testing relies on the use of behavior models to automatically generate sequences of inputs and expected outputs. These sequences can be used as test cases to the end o...
167
click to vote
ANSS
2001
IEEE
15 years 10 months ago
2001
IEEE
In a Web-Based federated simulation system, a group of simulation models residing on different machines attached to the Internet, called federates, collaborate with each other to ...
175
click to vote
ASPDAC
2010
ACM
15 years 5 months ago
2010
ACM
- The design of embedded computing systems faces a serious productivity gap due to the increasing complexity of their hardware and software components. One solution to address this...
198
click to vote
ESANN
2007
15 years 8 months ago
2007
Abstract. We developed a computational model of learning in the Mushroom Body, a region of multimodal integration in the insect brain. Using realistic neural dynamics and a biologi...