Sciweavers

4963 search results - page 672 / 993
» Implementing a Categorical Information System
Sort
View
188
Voted
UML
2001
Springer
15 years 12 months ago
An Axiomatic Formalization of UML Models
: Though it is widely recognized that object-oriented methodologies are most effective in developing large scale software, it is still dif cult to apply high level computer support...
Toshiaki Aoki, Takaaki Tateishi, Takuya Katayama
185
Voted
ISLPED
2000
ACM
94views Hardware» more  ISLPED 2000»
15 years 12 months ago
Operating-system directed power reduction
This paper presents a new approach for power reduction by taking a global, software-centric view. It analyzes the sources of power consumption: tasks that require services from ha...
Yung-Hsiang Lu, Luca Benini, Giovanni De Micheli
210
Voted
AGENTS
2000
Springer
15 years 12 months ago
The user interface as an agent environment
Theoretically motivated planning systems often make assumptions about their environments, in areas such as the predictability of action e ects, static behavior of the environment,...
Robert St. Amant, Luke S. Zettlemoyer
ECOOP
1999
Springer
15 years 11 months ago
Providing Fine-grained Access Control for Java Programs
There is considerable interest in programs that can migrate from one host to another and execute. Mobile programs are appealing because they support efficient utilization of networ...
Raju Pandey, Brant Hashii
205
Voted
ICCBR
1999
Springer
15 years 11 months ago
Is CBR Applicable to the Coordination of Search and Rescue Operations? A Feasibility Study
In response to the occurrence of an air incident, controllers at one of the three Canadian Rescue Coordination Centers (RCC) must make a series of critical decisions on the appropr...
Irène Abi-Zeid, Qiang Yang, Luc Lamontagne