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
109
Voted
STVR
2010
66views more  STVR 2010»
14 years 10 months ago
Recognizing authors: an examination of the consistent programmer hypothesis
Jane Huffman Hayes, Jeff Offutt
86
Voted
TCAD
2010
84views more  TCAD 2010»
14 years 10 months ago
PABTEC: Passivity-Preserving Balanced Truncation for Electrical Circuits
Timo Reis, Tatjana Stykel
105
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
TCOM
2010
53views more  TCOM 2010»
14 years 10 months ago
Optimized low-delay source-channel-relay mappings
Johannes Karlsson, Mikael Skoglund