5664 search results - page 703 / 1133 » Creativity support tools |
160
click to vote
EICS
2010
ACM
15 years 11 months ago
2010
ACM
UI model discovery is a lightweight formal method in which a model of an interactive system is automatically discovered by exploring the system’s state space, simulating the act...
158
click to vote
ISPD
1999
ACM
15 years 11 months ago
1999
ACM
—This paper studies a natural formulation of the timing-driven maze routing problem. A multigraph model appropriate for global routing applications is adopted; the model naturall...
176
click to vote
HICSS
1999
IEEE
15 years 11 months ago
1999
IEEE
The architecture is the fundamental framework for designing and implementing large scale software, and the ability to trace and control its evolution is essential. However, many t...
166
click to vote
HICSS
1999
IEEE
15 years 11 months ago
1999
IEEE
Interoperability is a central issue for both the mobile agents community and the wider agents community. Unfortunately, the interoperability concerns are different between the two...
182
click to vote
IPPS
1999
IEEE
15 years 11 months ago
1999
IEEE
This paper presents the Pure/Epos approach to deal with the high complexity of adaptable operating systems and also to diminish the distance between application and operating syste...