Sciweavers

1026 search results - page 38 / 206
» Semantic Components for Timetabling
Sort
View
ACSC
2004
IEEE
14 years 2 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...
TSE
2010
125views more  TSE 2010»
13 years 9 months ago
Engineering a Sound Assertion Semantics for the Verifying Compiler
—The Verifying Compiler (VC) project is a core component of the Dependable Systems Evolution Grand Challenge. The VC offers the promise of automatically proving that a program or...
Patrice Chalin
IPM
2007
106views more  IPM 2007»
13 years 10 months ago
Patent document categorization based on semantic structural information
The number of patent documents is currently rising rapidly worldwide, creating the need for an automatic categorization system to replace time-consuming and labor-intensive manual...
Jae-Ho Kim, Key-Sun Choi
SSDBM
2005
IEEE
99views Database» more  SSDBM 2005»
14 years 4 months ago
Incorporating Semantics in Scientific Workflow Authoring
The tools used to analyze scientific data are often distinct from those used to archive, retrieve, and query data. A scientific workflow environment, however, allows one to seamles...
Chad Berkley, Shawn Bowers, Matthew B. Jones, Bert...
PERCOM
2004
ACM
14 years 10 months ago
Dynamic Federation of Partitioned Applications in Ubiquitous Computing Environments
A framework for the dynamic aggregation of ubiquitous computers is presented. The framework aggregates applications from more than one mobile component that can migrate from compu...
Ichiro Satoh