14331 search results - page 2684 / 2867 » On the modeling and analysis of obligations |
192
click to vote
HICSS
2012
IEEE
14 years 2 months ago
2012
IEEE
The advent of the smartphone as a highly complex technology has been accompanied by mobile operating systems (OS), large communities of developers, diverse content providers, and ...
268
click to vote
ICOIN
2012
Springer
14 years 2 months ago
2012
Springer
— Multipath TCP (MPTCP) has just been approved by the IETF. It was designed to be fairly shared with regular TCP, so its performance is equivalent that of a regular TCP flow tha...
226
click to vote
POPL
2012
ACM
14 years 2 months ago
2012
ACM
There has been great interest in creating probabilistic programming languages to simplify the coding of statistical tasks; however, there still does not exist a formal language th...
225
click to vote
POPL
2012
ACM
14 years 2 months ago
2012
ACM
Since software systems are becoming increasingly more concurrent and distributed, modeling and analysis of interactions among their components is a crucial problem. In several app...
218
click to vote
KDD
2009
ACM
16 years 7 months ago
2009
ACM
Learning probabilistic graphical models from high-dimensional datasets is a computationally challenging task. In many interesting applications, the domain dimensionality is such a...