1715 search results - page 54 / 343 » Domain-Specific Program Checking |
110
click to vote
SYNASC
2005
IEEE
15 years 8 months ago
2005
IEEE
We consider P colonies as introduced in [4] and investigate their computational power when working in the maximally parallel and in the sequential mode. It turns out that there is...
100
click to vote
ECOOP
2004
Springer
15 years 7 months ago
2004
Springer
Today’s mainstream object-oriented compilers and tools do not support declaring and statically checking simple pre- and postconditions on methods and invariants on object represe...
MICRO
2000
IEEE
15 years 6 months ago
2000
IEEE
A slipstream processor reduces the length of a running program by dynamically skipping computation non-essential for correct forward progress. The shortened program runs faster as...
111
click to vote
ESWS
2008
Springer
15 years 4 months ago
2008
Springer
Abstract. Automated modeling of appropriate and valid document descriptions is a central issue for the benefit and success of an ontologybased personal document management system. ...
198
click to vote
ICOODB
2010
15 years 8 days ago
2010
Abstract. We present the data modeling concepts of Tricia, an opensource Java platform used to implement enterprise web information systems as well as social software solutions inc...