233 search results - page 41 / 47 » The Behavior Markup Language: Recent Developments and Challe... |
PASTE
2004
ACM
15 years 2 months ago
2004
ACM
A context-sensitive analysis is an analysis in which program elements are assigned sets of properties that depend upon the context in which they occur. For analyses on imperative ...
110
Voted
PLDI
2011
ACM
14 years 11 days ago
2011
ACM
Program analysis and verification tools crucially depend on the ability to symbolically describe and reason about sets of program behaviors. Separation logic provides a promising...
ASPLOS
2010
ACM
15 years 2 months ago
2010
ACM
Heterogeneous systems, systems with multiple processors tailored for specialized tasks, are challenging programming environments. While it may be possible for domain experts to op...
69
Voted
IEEESCC
2009
IEEE
14 years 7 months ago
2009
IEEE
Business-To-Business Integration (B2Bi) is a key mechanism for enterprises to gain competitive advantage. However, developing B2Bi applications is far from trivial. Inter alia, ag...
111
click to vote
ICMENS
2003
IEEE
15 years 2 months ago
2003
IEEE
Humans throughout history have always sought to mimic the appearance, mobility, functionality, intelligent operation, and thinking process of biological creatures. This field of b...