Sciweavers

15794 search results - page 40 / 3159
» Agent-Oriented Software Engineering
Sort
View
SIMULATION
2010
96views more  SIMULATION 2010»
14 years 10 months ago
A Formal Framework for Stochastic Discrete Event System Specification Modeling and Simulation
Rodrigo Castro, Ernesto Kofman, Gabriel A. Wainer
108
Voted
TCAD
2010
111views more  TCAD 2010»
14 years 10 months ago
Combining Control and Data Abstraction in the Verification of Hybrid Systems
Xavier Briand, Bertrand Jeannet
88
Voted
TCOM
2010
53views more  TCOM 2010»
14 years 10 months ago
Optimized low-delay source-channel-relay mappings
Johannes Karlsson, Mikael Skoglund