1676 search results - page 238 / 336 » Formal System Development with KIV |
112
click to vote
ECCV
2004
Springer
16 years 6 months ago
2004
Springer
We analyze visibility from static sensors in a dynamic scene with moving obstacles (people). Such analysis is considered in a probabilistic sense in the context of multiple sensors...
115
click to vote
FASE
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. E-government services usually process large amounts of confidential data. Therefore, security requirements for the communication between components have to be adhered in...
150
click to vote
ATAL
2009
Springer
15 years 11 months ago
2009
Springer
In hedonic games, players have the opportunity to form coalitions, and have preferences over the coalitions they might join. Such games can be used to model a variety of settings ...
158
click to vote
FMICS
2009
Springer
15 years 11 months ago
2009
Springer
Most modern safety-critical control programs, such as those embedded in fly-by-wire control systems, perform a lot of floating-point computations. The well-known pitfalls of IEEE...
130
click to vote
HICSS
2007
IEEE
15 years 10 months ago
2007
IEEE
Existing studies on IT outsourcing have mainly examined partnership factors that influence IT outsourcing effectiveness. This stream of IT outsourcing research has largely ignored...