7380 search results - page 887 / 1476 » Engineering Software Intensive Systems |
177
click to vote
WADT
2004
Springer
16 years 6 days ago
2004
Springer
Abstract. Computational systems are often represented by means of Kripke structures, and related using simulations. We propose rewriting logic as a flexible and executable framewo...
168
click to vote
IUI
2010
ACM
16 years 5 days ago
2010
ACM
In this paper we examine the use of multi faceted recommendations to aid users while carrying out exploratory video retrieval tasks. These recommendations are integrated into ViGO...
181
click to vote
ICSM
2003
IEEE
16 years 4 days ago
2003
IEEE
As systems evolve, they become harder to understand because the implementation of concepts (e.g. business rules) becomes less coherent. To preserve source code comprehensibility, ...
203
click to vote
KBSE
2003
IEEE
16 years 4 days ago
2003
IEEE
Database application programs are often designed to be executed concurrently by many clients. By grouping related database queries into transactions, DBMS systems can guarantee th...
239
click to vote
FASE
2003
Springer
16 years 2 days ago
2003
Springer
Abstract. A Sentient Computing environment is one in which the system is able to perceive the state of the physical world and use this information to customise its behaviour. Mobil...