1746 search results - page 225 / 350 » Residual for Component Specifications |
189
click to vote
FUIN
2008
15 years 6 months ago
2008
We are concerned with the problem of defining a complex, hybrid, agent based discrete system in a modular way. The modularity results from looking at the system from a number of di...
156
click to vote
IEE
2008
15 years 6 months ago
2008
The trend toward domain-specific languages leads to an ever-growing plethora of highly specialized languages. Developers of such languages focus on their specific domains rather t...
175
click to vote
ECRA
2006
15 years 6 months ago
2006
Electronic product catalogs are considered as one of the main components of e-commerce applications. Efficient processing of queries on product catalogs is important for customer ...
164
click to vote
ENTCS
2006
15 years 6 months ago
2006
Reo is a coordination model based on circuit-like connectors which coordinate components through the interplay of data flow, synchronisation and mutual exclusion, state, and conte...
175
click to vote
ENTCS
2006
15 years 6 months ago
2006
The approaches to automatic formal verification of UML models known up to now require a finite bound on the number of objects existing at each point in time. In [4] we have observ...