963 search results - page 112 / 193 » Formal Analysis of BPMN Models Using Event-B |
128
click to vote
ENTCS
2006
15 years 1 months ago
2006
High performance scientific computing software is of critical international importance as it supports scientific explorations and engineering. Software development in this area is...
146
click to vote
POPL
2011
ACM
14 years 4 months ago
2011
ACM
ensitivity has emerged as an excellent context abstraction for points-to analysis in object-oriented languages. Despite its practical success, however, object-sensitivity is poorl...
111
click to vote
ICSM
2007
IEEE
15 years 7 months ago
2007
IEEE
Libre (free / open source) software development is a complex phenomenon. Many actors (core developers, casual contributors, bug reporters, patch submitters, users, etc.), in many ...
ITICSE
2006
ACM
15 years 7 months ago
2006
ACM
Professors often develop anecdotal guidelines about how each student’s past performance in their academic major relates to their performance in later courses. While these guidel...
130
click to vote
ACL
1997
15 years 2 months ago
1997
Although adequate models of human language for syntactic analysis and semantic interpretation are of at least contextfree complexity, for applications such as speech processing in...