181 search results - page 5 / 37 » Extending DTGOLOG with Options |
RULEML
2005
Springer
15 years 3 months ago
2005
Springer
We show the first detailed realistic e-business application scenario that uses and exploits capabilities of the SweetRules V2.1 toolset for e-contracting using the SweetDeal approa...
QOSA
2007
Springer
15 years 4 months ago
2007
Springer
Component-based development helps to improve the modularity and reusability of embedded systems. Component models devised for embedded systems are typically restricted due to the l...
IPPS
2000
IEEE
15 years 2 months ago
2000
IEEE
The instruction sets of general-purpose microprocessors are designed to offer good performance across a wide range of programs. The size and complexity of the instruction sets, how...
DATE
2008
IEEE
15 years 4 months ago
2008
IEEE
Extending 2-D planar topologies in integrated circuits (ICs) to a 3-D implementation has the obvious benefits of reducing the overall footprint and average interconnection length,...
CAISE
2008
Springer
15 years 2 days ago
2008
Springer
This work is done as part of the Tacos project1 whose aims is to define a component-based approach to specify trustworthy systems from the requirements phase to the specification p...