Sciweavers

7213 search results - page 1114 / 1443
» Automated model grouping
Sort
View
DEON
2004
Springer
16 years 1 days ago
Designing a Deontic Logic of Deadlines
This paper studies the logic of a dyadic modal operator for being obliged to meet a condition ρ before a condition δ becomes true. Starting from basic intuitions we arrive at a s...
Jan Broersen, Frank Dignum, Virginia Dignum, John-...
HUC
2004
Springer
16 years 1 days ago
CAMP: A Magnetic Poetry Interface for End-User Programming of Capture Applications for the Home
As the trend towards technology-enriched home environments progresses, the need to enable users to create applications to suit their own lives increases. While several recent proje...
Khai N. Truong, Elaine M. Huang, Gregory D. Abowd
WEBI
2004
Springer
16 years 4 hour ago
An Integrated Approach to Discovery in Complex Information Spaces
As the amount of available data continues to increase, more and more effective means for discovering important patterns and relationships within that data are required. Although t...
Daryl H. Hepting, Cory J. Butz
CCGRID
2003
IEEE
15 years 12 months ago
Evaluation of the inter-cluster data transfer on Grid environment
High-performance peer-to-peer transfer between clusters will be fundamental technology base for various Grid middleware, such as large-scale data transfer in DataGrid settings, or...
Shoji Ogura, Satoshi Matsuoka, Hidemoto Nakada
DFT
2003
IEEE
145views VLSI» more  DFT 2003»
15 years 12 months ago
System-Level Analysis of Fault Effects in an Automotive Environment
In the last years, new requirements in terms of vehicle performance increased significantly the amount of on-board electronics, thus raising more concern about safety and fault to...
Fulvio Corno, S. Tosato, P. Gabrielli
« Prev « First page 1114 / 1443 Last » Next »