9989 search results - page 92 / 1998 » A CLP Approach to Modelling Systems |
148
click to vote
DAC
2004
ACM
15 years 9 months ago
2004
ACM
System-on-Chip (SoC) designs are increasingly becoming more complex. Efficient on-chip communication architectures are critical for achieving desired performance in these systems....
162
click to vote
ESAW
2008
Springer
15 years 5 months ago
2008
Springer
Modern software systems share with social organizations the attributes of being large-scale, distributed, and heterogeneous systems of systems. The organizational metaphor for soft...
141
click to vote
SEM
2004
Springer
15 years 9 months ago
2004
Springer
The use of handheld networked devices to access information systems by people moving around is spreading rapidly. Systems being used in this way typically face dynamic variation in...
133
click to vote
IROS
2008
IEEE
15 years 10 months ago
2008
IEEE
— One of the main challenges in telerobotics is the selection of control architectures and control parameters, which are able to robustly stabilize the overall teleoperation syst...
144
click to vote
ENTCS
2008
15 years 4 months ago
2008
This paper presents an approach which supports verification and model-based adaptation of software compod services implemented using Windows Workflow Foundation (WF). First, we pr...