1860 search results - page 91 / 372 » tools 2009 |
93
Voted
IWPC
2009
IEEE
15 years 7 months ago
2009
IEEE
We present a static analysis framework for inference of security-related program properties. Within this framework we design and implement ownership, immutability and information ...
89
Voted
ENASE
2009
14 years 10 months ago
2009
Service composition is an important topic, but so far addressed from a technical and low level perspective. The issue is not (too much) the orchestration formalism, but rather the ...
115
Voted
ICUMT
2009
14 years 10 months ago
2009
Abstract--With the rapid development of peer-to-peer networks, simulation is considered as a useful tool to demonstrate initial ideas before building prototypes with real network t...
80
Voted
SIGCSE
2009
ACM
16 years 1 months ago
2009
ACM
It is difficult for instructors of CS1 and CS2 courses to get accurate answers to such critical questions as "how long are students spending on programming assignments?"...
99
Voted
DEXAW
2009
IEEE
15 years 7 months ago
2009
IEEE
One of the main limitations in using ontologies in modern information systems is due to the fact that the design and maintenance of ontologies is a complex activity that requires ...