2135 search results - page 276 / 427 » An Operational Semantics for JavaScript |
159
click to vote
CORR
2011
Springer
14 years 10 months ago
2011
Springer
The framework of psi-calculi extends the pi-calculus with nominal datatypes for data structures and for logical assertions and conditions. These can be transmitted between processe...
155
click to vote
RE
2010
Springer
14 years 9 months ago
2010
Springer
Secure software engineering is a new research area that has been proposed to address security issues during the development of software systems. This new area of research advocates...
167
click to vote
IS
2012
13 years 10 months ago
2012
Large corporations increasingly utilize business process models for documenting and redesigning their operations. The extent of such modeling initiatives with several hundred mode...
143
click to vote
ICDE
2012
IEEE
13 years 5 months ago
2012
IEEE
— In this paper, we focus on efficient keyword query processing for XML data based on SLCA and ELCA semantics. We propose for each keyword a novel form of inverted list, which i...
243
click to vote
ICFP
2009
ACM
16 years 3 months ago
2009
ACM
Functional Reactive Programming (FRP) is an approach to reactive programming where systems are structured as networks of functions operating on signals. FRP is based on the synchr...