Sciweavers

949 search results - page 143 / 190
» Programmed Mutagenesis Is Universal
Sort
View
EUC
2004
Springer
14 years 1 months ago
Context-Aware State Management for Ubiquitous Applications
In a ubiquitous computing environment, users continuously access computing services and interact with smart spaces, while moving from one place to another. Application migration, t...
Pauline P. L. Siu, Nalini Moti Belaramani, Cho-Li ...
IMR
2004
Springer
14 years 1 months ago
API for Grid Generation Over Topological Models
Topological representations are being used to define geometric models suitable for grid generation and grid generation tools are being developed that work directly on topological ...
S. Gopalsamy, Douglas H. Ross, Alan M. Shih
ISQED
2003
IEEE
85views Hardware» more  ISQED 2003»
14 years 27 days ago
Interoperability Beyond Design: Sharing Knowledge between Design and Manufacturing
The nature of IC design has is necessarily evolving to a more data-centric design flow in which EDA tools share a common information in a design database without the negative cost...
D. R. Cottrell, T. J. Grebinski
SEW
2003
IEEE
14 years 27 days ago
Instrumentation of Intermediate Code for Runtime Verification
Runtime monitoring is aimed at ensuring correct runtime behavior with respect to specified constraints. It provides assurance that properties are maintained during a given program...
Ann Q. Gates, Oscar Mondragon, Mary Payne, Steve R...
ITICSE
2003
ACM
14 years 26 days ago
Teaching undergraduate software design in a liberal arts environment using RoboCup
Most large research universities include a software design or software development course as a required or elective component of an undergraduate computer science major. For vario...
Timothy Huang, Frank Swenton