624 search results - page 38 / 125 » A Structured Approach for Synthesizing Planners from Specifi... |
170
click to vote
ACMSE
2005
ACM
15 years 7 months ago
2005
ACM
The popularity of mobile devices has propelled the development of many useful location-aware applications. However, the heterogeneity of mobile devices necessitates that the softw...
137
click to vote
JBI
2006
15 years 5 months ago
2006
This paper presents some research undertaken as part of the EU-funded HOMEY project, into the application of intelligent dialogue systems to healthcare systems. The work presented...
242
click to vote
Publication
In this paper, we consider a decentralized supply chain formation problem for linear, multi-echelon supply chains when the managers of the individual echelons are autonomous, ratio...
133
click to vote
AIPS
2000
15 years 6 months ago
2000
Graphical user interfaces (GUIs) have become nearly ubiquitous as a means of interacting with software systems. GUIs are typically highly complex pieces of software, and testing t...
164
click to vote
DATE
1999
IEEE
15 years 9 months ago
1999
IEEE
In this paper, we present a system synthesis algorithm, called MOCSYN, which partitions and schedules embedded system specifications to intellectual property cores in an integrate...