1714 search results - page 169 / 343 » Abstract Models of Memory Management |
102
Voted
ER
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. Current Web applications embed sophisticated user interfaces and business logic. The original interaction paradigm of the Web based on static content pages that are brows...
165
Voted
ISAS
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. This paper provides an overview of Proof-Based System Engineering (PBSE), which aims at improving the current practice of developing computer-based systems. PBSE is of pa...
137
Voted
ICWE
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. Current Web applications embed sophisticated user interfaces and business logic. The original interaction paradigm of the Web with static content pages that are browsed b...
133
Voted
ACISICIS
2010
IEEE
15 years 5 months ago
2010
IEEE
Abstract--User-system interaction is sometimes a cumbersome element of non-textual information access. Image retrieval systems now incorporate various interaction mechanisms. Howev...
127
click to vote
SERVICES
2010
15 years 5 months ago
2010
Research Session 2 - Modeling and Abstraction of Services Session Chair: An Approach to Dynamic Provisioning of Social and Computational Services (SERVICES2010-4004) Luiz Olavo Bon...