10038 search results - page 1600 / 2008 » Model Checking for Managers |
166
click to vote
JAVA
1999
Springer
15 years 11 months ago
1999
Springer
While class-based object-oriented programming languages provide a flexible mechanism for re-using and managing related pieces of code, they typically lack linguistic facilities fo...
193
click to vote
KIVS
1999
Springer
15 years 11 months ago
1999
Springer
: Location Management of mobile users in a cellular network covers tracking and paging (searching) functionality. In this paper a sequential search strategy is proposed which reduc...
174
click to vote
SPIRE
1999
Springer
15 years 11 months ago
1999
Springer
One resource playing a critical role in electronically supported decision-making groups is the facilitator. Facilitation is a complex task, encompassing social abilities, pre-meet...
199
click to vote
VISUAL
1999
Springer
15 years 11 months ago
1999
Springer
Identifying human gaze or eye-movement ultimately serves the purpose of identifying an individual’s focus of attention. The knowledge of a person’s object of interest helps us...
157
click to vote
SSDBM
1998
IEEE
15 years 11 months ago
1998
IEEE
In this demonstration, we show three interrelated tools intended to improve different aspects of the quality of data warehouse solutions. Firstly, the deductive object manager Con...