2273 search results - page 257 / 455 » On the Expressiveness and Complexity of ATL |
160
click to vote
ESAW
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. In systems based on organisational specifications a reoccurring problem remains to be solved in the disparity between the level actness of the organisational concepts an...
167
click to vote
DATE
2008
IEEE
16 years 29 days ago
2008
IEEE
— The inductance and coupling effects in interconnects and non-linear receiver loads has resulted in complex input signals and output loads for gates in the modern deep submicron...
157
click to vote
RSP
2008
IEEE
16 years 27 days ago
2008
IEEE
Dataflow formalisms have provided designers of digital signal processing systems with optimizations and guarantees to arrive at quality prototypes quickly. As system complexity in...
167
click to vote
AINA
2007
IEEE
16 years 26 days ago
2007
IEEE
In the Ad-Hoc InfoWare project, we develop a delay tolerant event notification service for sparse Mobile Ad-Hoc Networks for emergency and rescue operations. In most event notific...
148
click to vote
COMPSAC
2007
IEEE
16 years 25 days ago
2007
IEEE
Although many of the software engineering activities can now be model-supported, the model is often missing in software development. We are interested in retrieving statemachine m...