Sciweavers

1726 search results - page 266 / 346
» Traits: Tools and Methodology
Sort
View
ISSTA
2009
ACM
14 years 1 months ago
Run-time conformance checking of mobile and distributed systems using executable models
This paper describes an approach for conformance testing of mobile and distributed systems. The approach is based on kiltera — a novel, high-level language supporting the descri...
Ahmad A. Saifan, Ernesto Posse, Jürgen Dingel
MIG
2009
Springer
14 years 1 months ago
An Open Framework for Developing, Evaluating, and Sharing Steering Algorithms
Abstract. There are very few software frameworks for steering behaviors that are publicly available for developing, evaluating, and sharing steering algorithms. Furthermore, there ...
Shawn Singh, Mubbasir Kapadia, Petros Faloutsos, G...
INCDM
2001
Springer
109views Data Mining» more  INCDM 2001»
14 years 1 months ago
Experience Management: The Fraunhofer IESE Experience Factory
: Experience Management (EM) is an area that is increasingly gaining importance. Its roots lie in Experimental Software Engineering ("Experience Factory"), in Artificial ...
Klaus-Dieter Althoff, Björn Decker, Susanne H...
TES
2001
Springer
14 years 1 months ago
Peer-to-Peer Traced Execution of Composite Services
Abstract. The connectivity generated by the Internet is opening unprecedented opportunities of automating business-to-business collaborations. As a result, organisations of all siz...
Marie-Christine Fauvet, Marlon Dumas, Boualem Bena...
ISQED
2000
IEEE
136views Hardware» more  ISQED 2000»
14 years 1 months ago
A Layout Approach for Electrical and Physical Design Integration of High-Performance Analog Circuits
This paper presents a layout generation tool that aims to reduce the gap between electrical sizing and physical realization of high performance analog circuits. The procedural lay...
Mohamed Dessouky, Marie-Minerve Louërat