Sciweavers

561 search results - page 58 / 113
» A Constructive Approach to Testing Model Transformations
Sort
View
TAOSD
2010
14 years 10 months ago
Aspect-Oriented Development Using Protocol Modeling
Abstract. The aim of this paper is to explore the modeling of crosscutavioral abstractions. We argue that behavioral aspects can be a particular kind of more general behavioral abs...
Ashley T. McNeile, Ella E. Roubtsova
ISSTA
2004
ACM
15 years 5 months ago
Verifying process models built using parameterized state machines
Software process and workflow languages are increasingly used to define loosely-coupled systems of systems. These languages focus on coordination issues such as data flow and c...
Barbara Staudt Lerner
DATE
2002
IEEE
79views Hardware» more  DATE 2002»
15 years 4 months ago
Formulation of Low-Order Dominant Poles for Y-Matrix of Interconnects
This paper presents an efficient approach to compute the dominant poles for the reduced-order admittance (Y parameter) matrix of lossy interconnects. Using the global approximati...
Qinwei Xu, Pinaki Mazumder
ADBIS
2010
Springer
173views Database» more  ADBIS 2010»
15 years 1 days ago
Applying the UFO Ontology to Design an Agent-Oriented Engineering Language
The problem of designing suitable conceptual modeling languages for system engineering is far from being solved. In the past years, some works have proposed the use of foundational...
Renata S. S. Guizzardi, Giancarlo Guizzardi
ICIC
2007
Springer
15 years 6 months ago
A Sparse Kernel Density Estimation Algorithm Using Forward Constrained Regression
Abstract. Using the classical Parzen window (PW) estimate as the target function, the sparse kernel density estimator is constructed in a forward constrained regression manner. The...
Xia Hong, Sheng Chen, Chris Harris