1380 search results - page 231 / 276 » Reasoning about Input-Output Modeling of Dynamical Systems |
ATAL
2008
Springer
13 years 11 months ago
2008
Springer
Business contracts tend to be complex. In current practice, contracts are often designed by hand and adopted by their participants after, at best, a manual analysis. This paper mo...
IJIM
2008
13 years 8 months ago
2008
Podcasts have been employed extensively in some countries and are now being trialed at a number of universities in Australia. They allow ubiquitous learning whereby students can ac...
HOST
2011
IEEE
12 years 8 months ago
2011
IEEE
—We introduce a novel hardware intellectual property acquisition protocol, show how it can support the transfer of provably trustworthy modules between hardware IP producers and ...
NAACL
2003
13 years 10 months ago
2003
Searching online information is increasingly a daily activity for many people. The multilinguality of online content is also increasing (e.g. the proportion of English web users, ...
HYBRID
2010
Springer
14 years 2 months ago
2010
Springer
NetSketch is a tool for the specification of constrained-flow applications and the certification of desirable safety properties imposed thereon. NetSketch assists system integr...