2896 search results - page 469 / 580 » Curricula Modeling and Checking |
151
click to vote
CORR
2011
Springer
15 years 26 days ago
2011
Springer
nt programs, programming abstractions for data parallel programs, software model checking for confidentiality, electronic voting security, synthesis of interface specons for Java ...
187
click to vote
EMSOFT
2001
Springer
15 years 10 months ago
2001
Springer
Abstract. We classify component-based models of computation into component models and interface models. A component model speci es for each component how the component behaves in a...
163
click to vote
MSWIM
2006
ACM
15 years 12 months ago
2006
ACM
In this paper, we define a model of an ad hoc routing protocol, i.e. the OLSR (Optimized Link-State Routing) protocol. This model handles novel constraints related to such networ...
160
click to vote
SIMUTOOLS
2008
15 years 7 months ago
2008
We sketch the fundamental properties and features of Snoopy, a tool to model and execute (animate, simulate) hierarchical graph-based system descriptions. The tool comes along wit...
165
click to vote
ICPR
2006
IEEE
16 years 7 months ago
2006
IEEE
Recovering multiple point light sources from a sparse set of photographs in which objects of unknown texture can move is challenging. This is because both diffuse and specular ref...