6960 search results - page 893 / 1392 » Continuity Analysis of Programs |
148
click to vote
EICS
2010
ACM
15 years 10 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...
184
click to vote
AGENTS
1999
Springer
15 years 10 months ago
1999
Springer
Abstract. Shopbots are agents that search the Internet for information pertaining to the price and quality of goods or services. With the advent of shopbots, a dramatic reduction i...
176
click to vote
IPPS
1999
IEEE
15 years 10 months ago
1999
IEEE
Parallel programming models should attempt to satisfy two conflicting goals. On one hand, they should hide architectural details so that algorithm designers can write simple, port...
166
click to vote
ECOOP
1999
Springer
15 years 10 months ago
1999
Springer
This paper argues that the current OO technology does not support reuse and configurability in an effective way. This problem can be addressed by augmenting OO analysis and design ...
145
click to vote
IFIP
1998
Springer
15 years 10 months ago
1998
Springer
This paper introduces the HyDev approach to structured and systematic development of typical hypermedia applications. HyDev focuses on the early phases of the development process, ...