1410 search results - page 155 / 282 » An operational approach to the design of workflow systems |
101
click to vote
ASYNC
2007
IEEE
15 years 5 months ago
2007
IEEE
Few formal verification techniques are currently available for asynchronous designs. In this paper, we describe a new approach for the formal verification of asynchronous architec...
127
click to vote
CASES
2000
ACM
15 years 5 months ago
2000
ACM
This paper introduces the notion of a Flexible Instruction Processor (FIP) for systematic customisation of instruction processor design and implementation. The features of our app...
DFG
2007
Springer
15 years 8 months ago
2007
Springer
: Nowadays, the design of so-called consistent time-stepping schemes that basically feature a physically correct time integration, is still a state-of-the-art topic in the area of ...
123
click to vote
SASN
2004
ACM
15 years 7 months ago
2004
ACM
This paper studies security for data aggregation in sensor networks. Current aggregation schemes were designed without security in mind and there are easy attacks against them. We...
107
click to vote
EURODAC
1994
IEEE
15 years 5 months ago
1994
IEEE
Modern CAD systems allow the designers to come up with powerful programmable datapaths in avery short time. The time to develop compilers for this datapaths is much longer. This p...