16606 search results - page 83 / 3322 » Context Modeling: Task Model and Practice Model |
123
click to vote
COMPSAC
2002
IEEE
15 years 8 months ago
2002
IEEE
Web applications are becoming more complex and the way to manage that complexity is to model them. This paper presents a methodology to model Web applications directly from the ob...
118
click to vote
IM
2003
15 years 4 months ago
2003
: Security of systems and management infrastructure is crucial for a successful, reliable and safe use. Most currently deployed systems are based on simple subject/object-relations...
128
click to vote
CAV
2001
Springer
15 years 8 months ago
2001
Springer
In formal verification, we verify that a system is correct with respect to a specification. When verification succeeds and the system is proven to be correct, there is still a q...
252
Voted
ICDE
2009
IEEE
16 years 5 months ago
2009
IEEE
Temporal data analysis in data warehouses and data streaming systems often uses time decay to reduce the importance of older tuples, without eliminating their influence, on the res...
129
Voted
HCI
2007
15 years 4 months ago
2007
Abstract. The evolution to ubiquitous information and communication networks is evident. Technology is emerging that connects everyday objects and embeds intelligence in our enviro...