10575 search results - page 1831 / 2115 » Programming Languages |
181
click to vote
TASE
2007
IEEE
16 years 27 days ago
2007
IEEE
Symmetry reduction is a technique that can help alleviate the problem of state space explosion in model checking. The idea is to verify only a subset of states from each class (or...
173
click to vote
KBSE
2005
IEEE
16 years 6 days ago
2005
IEEE
We consider a formal framework for property verification of web applications using Spin model checker. Some of the web related properties concern all states of the model, while ot...
170
click to vote
IPPS
2002
IEEE
15 years 11 months ago
2002
IEEE
SAC is a purely functional array processing language designed with numerical applications in mind. It supports generic, high-level program specifications in the style of APL. How...
199
click to vote
ICAC
2006
IEEE
16 years 21 days ago
2006
IEEE
Network resources will always be heterogeneous, and thus have different functionalities and programming models. This adversely affects interoperability. Seamless Mobility is one e...
167
click to vote
ICDCS
2005
IEEE
16 years 7 days ago
2005
IEEE
Wireless sensor networks (WSNs) are difficult to program and usually run statically-installed software limiting its flexibility. To address this, we developed Agilla, a new midd...