Sciweavers

6343 search results - page 389 / 1269
» Development of a Cartographic Language
Sort
View
ECOOP
2005
Springer
16 years 7 days ago
Loosely-Separated "Sister" Namespaces in Java
Most modern programming systems such as Java allow us to link independently developed components together dynamically. This makes it possible to develop and deploy software on a pe...
Yoshiki Sato, Shigeru Chiba
ECOOP
2004
Springer
16 years 3 days ago
Dynamic Framed Aspects for Dynamic Software Evolution
Software evolution is an inevitable process when developing a system of any notable size and is the most costly stage in the life cycle of a system. Automating parts of this proces...
Philip Greenwood
CSB
2003
IEEE
111views Bioinformatics» more  CSB 2003»
16 years 4 hour ago
A Contradiction-Based Framework for Testing Gene Regulation Hypotheses
We have developed a mathematical framework for representing and testing hypotheses about gene, protein, and signaling molecule interactions. It takes a hierarchical, contradiction...
Steve Racunas, Nigam Shah, Nina V. Fedoroff
AMKM
2003
Springer
15 years 12 months ago
Automatically Generated DAML Markup for Semistructured Documents
The semantic web is becoming a realizable technology due to the efforts of researchers to develop semantic markup languages such as the DARPA Agent Markup Language (DAML). A major...
William Krueger, Jonathan Nilsson, Tim Oates, Timo...
ICFEM
2003
Springer
15 years 12 months ago
Analyzing the Redesign of a Distributed Lift System in UPPAAL
An existing distributed lift system was analyzed using the process algebraic language µCRL [7]. Four problems were found, three of which were also found independently by the devel...
Jun Pang, Bart Karstens, Wan Fokkink