3342 search results - page 383 / 669 » Automating Abstract Interpretation |
181
click to vote
HOPL
2007
15 years 8 months ago
2007
AppleScript is a scripting language and environment for the Mac OS. Originally conceived in 1989, AppleScript allows end-users to automate complex tasks and customize Mac OS appli...
163
click to vote
EWCBR
2006
Springer
15 years 8 months ago
2006
Springer
Ambient Intelligence is a research area that has gained a lot of attention in recent years. One of the most important issues for ambient intelligent systems is to perceive the envi...
189
click to vote
KR
1991
Springer
15 years 8 months ago
1991
Springer
Temporal logic can be used as a programming language. If temporal formulae are represented in the form of an implication where the antecedent refers to the past, and the consequen...
124
click to vote
ICIS
2003
15 years 6 months ago
2003
In this study, we investigate the association between information technology (IT) spending and future firm performance. Critics contend that greater expenditures on IT rarely lead...
140
click to vote
CSL
2010
Springer
15 years 5 months ago
2010
Springer
This paper provides an induction rule that can be used to prove properties of data structures whose types are inductive, i.e., are carriers of initial algebras of functors. Our res...