Sciweavers

1421 search results - page 211 / 285
» Designing system on a chip products using systems engineerin...
Sort
View
SEMWEB
2007
Springer
14 years 4 months ago
Towards Correspondence Patterns for Ontology Mediation
We introduce in this paper correspondence patterns as a tool to design ontology alignments. Based on existing research on patterns in the fields of software and ontology engineeri...
François Scharffe, Ying Ding, Dieter Fensel
AVI
2008
14 years 21 days ago
Exploring blog archives with interactive visualization
Browsing a blog archive is currently not well supported. Users cannot gain an overview of a blog easily, nor do they receive adequate support for finding potentially interesting e...
Indratmo, Julita Vassileva, Carl Gutwin
EMSOFT
2008
Springer
14 years 4 days ago
Tax-and-spend: democratic scheduling for real-time garbage collection
Real-time Garbage Collection (RTGC) has recently advanced to the point where it is being used in production for financial trading, military command-and-control, and telecommunicat...
Joshua S. Auerbach, David F. Bacon, Perry Cheng, D...
CASSIS
2004
Springer
14 years 3 months ago
ESC/Java2: Uniting ESC/Java and JML
The ESC/Java tool was a lauded advance in effective static checking of realistic Java programs, but has become out-of-date with respect to Java and the Java Modeling Language (JML...
David R. Cok, Joseph Kiniry
KBSE
2007
IEEE
14 years 4 months ago
Finding errors in components that exchange xml data
Two or more components (e.g., objects, modules, or programs) interoperate when they exchange data, such as XML data. Using Application Programming Interface (API) calls exported b...
Mark Grechanik