11561 search results - page 2131 / 2313 » A Language for Biochemical Systems |
164
click to vote
ICLP
2007
Springer
15 years 10 months ago
2007
Springer
We present a static analysis that infers both upper and lower bounds on the usage that a logic program makes of a set of user-definable resources. The inferred bounds will in gener...
187
click to vote
ADC
2004
Springer
15 years 10 months ago
2004
Springer
In the last few years an interest in native XML databases has surfaced. With other authors we argue that such databases need their own provisions for concurrency control since tra...
185
click to vote
AINA
2004
IEEE
15 years 10 months ago
2004
IEEE
With the development of networking technologies and the advent of the peer-to-peer computing paradigm, distributed file-sharing systems like Gnutella are becoming prevalent over t...
180
click to vote
ASPDAC
2004
ACM
15 years 10 months ago
2004
ACM
The design of complex systems is largely ruled by the time needed for verification. Even though formal methods can provide higher reliability, in practice often simulation based ve...
160
click to vote
AOSD
2006
ACM
15 years 10 months ago
2006
ACM
The goals of aspect oriented software development (AOSD) and frameworks for configurable protocols (CPs) are similar in many respects. AOSD allows the specification of crosscuttin...