3799 search results - page 621 / 760 » An Engineering Approach to Formal Methods |
118
click to vote
AVI
2008
15 years 7 months ago
2008
In many applications transactions between the elements of an information hierarchy occur over time. For example, the product offers of a department store can be organized into pro...
144
click to vote
AVI
2008
15 years 7 months ago
2008
Mixed interactive systems seek to smoothly merge physical and digital worlds. In this paper we focus on mixed objects that take part in the interaction. Based on our Mixed Interac...
158
Voted
FASE
2008
Springer
15 years 6 months ago
2008
Springer
With the success of model-driven development as well as component-based and service-oriented systems, models of software architecture are key artefacts in the development process. ...
115
click to vote
CGF
2008
15 years 5 months ago
2008
The powerful yet conceptually simple notions of Finite-Time Lyapunov Exponent (FTLE) and Lagrangian Coherent Structures provide a powerful framework for the analysis and visualiza...
162
Voted
SIGIR
2008
ACM
15 years 4 months ago
2008
ACM
Personalization of web search results as a technique for improving user satisfaction has received notable attention in the research community over the past decade. Much of this wo...