3192 search results - page 465 / 639 » Translating Model Simulators to Analysis Models |
121
Voted
HT
2003
ACM
15 years 9 months ago
2003
ACM
Analogy-based estimation has, over the last 15 years, and particularly over the last 7 years, emerged as a promising approach with comparable accuracy to, or better than, algorith...
143
Voted
HASE
1998
IEEE
15 years 8 months ago
1998
IEEE
This paper deals with verification of flow control in concurrent programs. We use Ada language model as reference. After translation of Ada programs into Petri nets (named Ada net...
138
Voted
APN
2004
Springer
15 years 7 months ago
2004
Springer
This paper describes concepts and features of a Web-based system called XRL/flower for carrying out Petri-net based workflows described with XRL (eXchangeable Routing Language). XR...
146
Voted
DCOSS
2006
Springer
15 years 7 months ago
2006
Springer
Wireless sensor networks are often studied with the goal of removing information from the network as efficiently as possible. However, when the application also includes an actuato...
125
Voted
GECCO
2006
Springer
15 years 7 months ago
2006
Springer
This paper introduces a novel analogy with the way in which honeybee colonies operate in order to solve the problem of sparse and quasi dense reconstruction. To successfully solve...