1928 search results - page 273 / 386 » Integrity Constraints in OWL |
KBSE
2009
IEEE
14 years 4 months ago
2009
IEEE
—Automated debugging is becoming increasingly important as the size and complexity of software increases. This paper makes a case for using constraint-based data structure repair...
OOPSLA
2005
Springer
14 years 3 months ago
2005
Springer
This paper describes a type system that is capable of expressing and enforcing immutability constraints. The speonstraint expressed is that the abstract state of the object to whi...
IPSN
2004
Springer
14 years 3 months ago
2004
Springer
We describe a novel method for node localization in a sensor network where there are a fraction of reference nodes with known locations. For application-specific sensor networks, ...
ICSM
2002
IEEE
14 years 3 months ago
2002
IEEE
Software is multidimensional but the tools that support it are not. The lack of tool support causes the software artifacts representing different dimensions to evolve independentl...
CHI
1997
ACM
14 years 2 months ago
1997
ACM
—The Amulet user interface development environment makes it easier for programmers to create highly-interactive, graphical user interface software for Unix, Windows and the Macin...