2664 search results - page 289 / 533 » Theory by Process |
155
click to vote
SEMWEB
2007
Springer
16 years 23 days ago
2007
Springer
Abstract. Ontology mapping is the key to data interoperability in the semantic web. This problem has received a lot of research attention, however, the research emphasis has been m...
167
click to vote
ASWEC
2006
IEEE
16 years 22 days ago
2006
IEEE
This paper describes the formalisation of Java thread synchronisation in an extended Owicki-Gries theory, which facilitates the proof of safety and progress properties of multi-th...
139
click to vote
ECBS
2006
IEEE
16 years 22 days ago
2006
IEEE
Refactoring of software systems represents an fundamental way of improving their quality properties. Large-scale refactoring has to be performed at an architectural level to execu...
171
click to vote
HICSS
2006
IEEE
16 years 21 days ago
2006
IEEE
In terms of the progress of the industry, the velocity and dynamic nature of the global environment, has caused serious damage and diminished our earth’s resources. A lot of eff...
178
click to vote
ICTAI
2006
IEEE
16 years 21 days ago
2006
IEEE
Computer programs that can be expressed in two or more dimensions are typically called visual programs. The underlying theories of visual programming languages involve graph gramm...