Sciweavers

359 search results - page 32 / 72
» What to Do About Microsoft
Sort
View
SAC
2006
ACM
16 years 4 days ago
Extending noninterference properties to the timed world
Most previous work on information flow in process algebras has been based on untimed models of concurrency. It is obvious, however, that an observer might well use time to gain i...
Jian Huang, A. W. Roscoe
CEAS
2005
Springer
15 years 11 months ago
The Social Network and Relationship Finder: Social Sorting for Email Triage
Email triage is the process of going through unhandled email and deciding what to do with it. This process can quickly become a serious problem for users with large volumes of ema...
Carman Neustaedter, A. J. Bernheim Brush, Marc A. ...
GROUP
2003
ACM
15 years 11 months ago
Using the transformational approach to build a safe and generic data synchronizer
Reconciliating divergent data is an important issue in concurrent engineering, mobile computing and software configuration management. Currently, a lot of synchronizers or merge ...
Pascal Molli, Gérald Oster, Hala Skaf-Molli...
AIME
2001
Springer
15 years 10 months ago
A User Interface for Executing Asbru Plans
Asbru is a language for specifying treatment plans. These plans are then used by an execution unit to give advice to the medical staff what actions to take (open-loop system). In ...
Robert Kosara, Silvia Miksch
ACSC
2004
IEEE
15 years 10 months ago
An Approach to Specifying Software Frameworks
A framework is a reusable design that requires software components to function. To instantiate a framework, a software engineer must provide the software components required by th...
Leesa Murray, David A. Carrington, Paul A. Stroope...