1631 search results - page 170 / 327 » Observing Functional Logic Computations |
143
click to vote
HUC
2007
Springer
15 years 10 months ago
2007
Springer
This paper presents Haggle, an architecture for mobile devices that enables seamless network connectivity and application functionality in dynamic mobile environments. Current appl...
148
Voted
IPPS
2005
IEEE
15 years 9 months ago
2005
IEEE
Data flow and FSMs are used intensively to specify real-time systems in the field of mechatronics. Their implementation in FPGAs is discussed against the background of dynamic rec...
159
Voted
SCCC
2005
IEEE
15 years 9 months ago
2005
IEEE
Databases may not satisfy integrity constraints (ICs) for several reasons. Nevertheless, in most of the cases an important part of the data is still consistent wrt certain desired...
139
Voted
REX
1991
15 years 7 months ago
1991
We propose a framework for the formal speci cation and veri cation of timed and hybrid systems. For timed systems we propose a speci cation language that refers to time only throug...
115
Voted
WSC
2007
15 years 6 months ago
2007
Workflow analysis is an important component in the simulation of construction operations. It involves creating a specific number of work requests for a crew every time period, com...