2036 search results - page 94 / 408 » A generic type-and-effect system |
102
Voted
ENTCS
2008
15 years 22 days ago
2008
Engineering natural and appropriate interactive behaviour in ubiquitous computing systems presents new challenges to their developers. This paper explores formal models of interac...
101
Voted
IROS
2009
IEEE
15 years 7 months ago
2009
IEEE
— We present a general method for integrating visual components into a multi-modal cognitive system. The integration is very generic and can work with an arbitrary set of modalit...
77
Voted
HICSS
1998
IEEE
15 years 5 months ago
1998
IEEE
Secure system design, veri cation and validation is often a daunting task, involving the merger of various protection mechanisms in conjunction with system security policy and con...
110
click to vote
EDBTW
2006
Springer
15 years 2 months ago
2006
Springer
The information infrastructure in today's businesses consists of many interoperating autonomous systems. Changes to a single system can therefore have an unexpected impact on ...
101
click to vote
DEXAW
1999
IEEE
15 years 5 months ago
1999
IEEE
This work addresses a problem of optimal query processing in heterogeneous and distributed multidatabase systems. The objective is to nd a method for opimization of global query p...