4772 search results - page 243 / 955 » An approach to interface synthesis |
194
click to vote
HICSS
2007
IEEE
16 years 1 months ago
2007
IEEE
Early grand challenge papers in health informatics identified numerous challenges, many of which either remain as open questions or have been resolved within fairly narrow domains...
181
click to vote
ICRA
2007
IEEE
16 years 1 months ago
2007
IEEE
— Synthesis of robot behaviors towards nontrivial goals often requires reasoning about both discrete and continuous aspects of the underlying domain. Existing approaches in build...
194
click to vote
RTCSA
2006
IEEE
16 years 22 days ago
2006
IEEE
To build a “correct” implementation from a model of a concurrent real-time system, it is important to understand the relation between the properties of the model and of its co...
204
click to vote
RTCSA
2005
IEEE
16 years 9 days ago
2005
IEEE
Context aware middleware infrastructures have traditionally been implemented with a modular approach to allow different components to work cooperatively and supply context synthes...
175
click to vote
BIRTHDAY
2005
Springer
16 years 8 days ago
2005
Springer
The paper introduces a novel approach to the synthesis of labelled transition systems for calculi with name mobility. The proposal is based on a graphical encoding: Each process is...