29172 search results - page 257 / 5835 » Modeling Systems in CLP |
185
click to vote
IEEEARES
2007
IEEE
16 years 29 days ago
2007
IEEE
Model-based development has become state of the art in software engineering. A number of tools, like Matlab/Simulink or SCADE, are available for the automatic generation of applic...
169
click to vote
FDL
2005
IEEE
16 years 8 days ago
2005
IEEE
The development process of embedded systems is characterized by the cooperation of various domains: components of hardware and software have to be considered as well as components...
204
click to vote
ISM
2005
IEEE
16 years 7 days ago
2005
IEEE
Ubiquitous Computing foresees a massively networked world supporting a population of diverse but cooperating mobile devices where trust relationships between entities are uncertai...
193
click to vote
ISLPED
2005
ACM
16 years 6 days ago
2005
ACM
Due to difficulties in distributing a single global clock signal over increasingly large chip areas, a globally asynchronous, locally synchronous design is considered a promising ...
182
click to vote
SIGSOFT
2003
ACM
15 years 12 months ago
2003
ACM
Model checking is an automated technique for verifying that a system satisfies a set of required properties. Such properties are typically expressed as temporal logic formulas, in...