Sciweavers

1432 search results - page 91 / 287
» Executable Protocol Models as a Requirements Engineering Too...
Sort
View
120
Voted
VLSID
1998
IEEE
112views VLSI» more  VLSID 1998»
15 years 7 months ago
Web-based Distributed VLSI Design
Emerging "systems-on-a-chip" will require a design environment that allows distributed access to libraries, models and design tools. In this paper we present a framework...
Debashis Saha, Anantha Chandrakasan
122
Voted
BPM
2007
Springer
155views Business» more  BPM 2007»
15 years 9 months ago
Business Process Simulation for Operational Decision Support
Contemporary business process simulation environments are geared towards design-time analysis, rather than operational decision support over already deployed and running processes....
Moe Thandar Wynn, Marlon Dumas, Colin J. Fidge, Ar...
126
Voted
SAC
2009
ACM
15 years 10 months ago
A passive conformance testing approach for a MANET routing protocol
In this paper we propose a passive conformance testing technique applied to a Mobile ad hoc network (MANET) routing protocol, OLSR, that is characterized by a dynamically changing...
Ana R. Cavalli, Stéphane Maag, Edgardo Mont...
AIPS
2007
15 years 5 months ago
itSIMPLE 2.0: An Integrated Tool for Designing Planning Domains
A great effort has been made today in the area of Artificial Intelligence for defining reliable automated planning systems that can be applied in real life applications. That le...
Tiago Stegun Vaquero, Victor Romero, Flavio Tonida...
120
Voted
WSC
1997
15 years 4 months ago
Creating a Flexible, Simulation-Based Finite Scheduling Tool
Today's business climate for manufacturers requires low inventory, quick response systems that turn out a wide variety of products. Since many companies are reaching physical...
Barbara W. Mazziotti, Richard E. Horne Jr.