2206 search results - page 424 / 442 » Software Engineering and Modeling Education: Problems and So... |
145
click to vote
FOSSACS
2010
Springer
16 years 23 days ago
2010
Springer
Abstract. This paper considers the probabilistic may/must testing theory for processes having external, internal, and probabilistic choices. We observe that the underlying testing ...
150
click to vote
WWW
2007
ACM
16 years 6 months ago
2007
ACM
It is extremely hard for a global organization with services over multiple channels to capture a consistent and unified view of its data, services, and interactions. While SOA and...
183
click to vote
VMCAI
2010
Springer
16 years 28 days ago
2010
Springer
This paper upgrades Regular Linear Temporal Logic (RLTL) with past operators and complementation. RLTL is a temporal logic that extends the expressive power of linear temporal logi...
144
click to vote
FOSSACS
2009
Springer
16 years 22 days ago
2009
Springer
There is growing interest in quantitative theories of information flow in a variety of contexts, such as secure information flow, anonymity protocols, and side-channel analysis. ...
153
click to vote
FSTTCS
2009
Springer
16 years 15 days ago
2009
Springer
We study the problem of polynomial identity testing (PIT) for depth 2 arithmetic circuits over matrix algebra. We show that identity testing of depth 3 (ΣΠΣ) arithmetic circuit...