12568 search results - page 2472 / 2514 » Selective user interaction |
TPHOL
2008
IEEE
14 years 2 months ago
2008
IEEE
g to the well-known “LCF approach” of secure inferences as abstract datatype constructors in ML [16]; explicit proof terms are also available [8]. Isabelle/Isar provides sophis...
HICSS
2007
IEEE
14 years 2 months ago
2007
IEEE
Increased market dynamics, shorter product lifecycles and a higher customer involvement in product design have caused great changes to competitive conditions and many companies ar...
IEEESCC
2007
IEEE
14 years 2 months ago
2007
IEEE
Web rule languages with the ability to cover various types of rules have been recently emerged to make interactions between web resources and broker agents possible. The chance of...
ROBOCOMM
2007
IEEE
14 years 2 months ago
2007
IEEE
Abstract—A major barrier to advancing modern wireless networking research is the lack of an effective wireless network simulation platform that simultaneously offers high fideli...
CDVE
2007
Springer
14 years 2 months ago
2007
Springer
In order to build complex, large-scale, dependable systems it is necessary to use a development environment with an integrated set of capabilities that supports editing and formal...