4385 search results - page 135 / 877 » Abstraction for Concurrent Objects |
118
click to vote
APSEC
2001
IEEE
15 years 2 months ago
2001
IEEE
Word processing software, email, and spreadsheet have revolutionized office activities. There are many other office tasks that are amenable to automation, such as: scheduling a vi...
ICRA
2002
IEEE
15 years 4 months ago
2002
IEEE
In this paper a reactive and concurrent control framework for viewpoint control is developed. The viewpoint control task is decomposed into three control objectives namely; obstac...
FSEN
2009
Springer
15 years 5 months ago
2009
Springer
In this paper we study the interconnection between relationships and roles. We start from the patterns used to introduce relationships in object oriented languages. We show how th...
118
click to vote
CAV
2005
Springer
15 years 4 months ago
2005
Springer
Abstract. We propose a new technique for the static analysis of concurrent programs comprised of multiple threads. In general, the problem is known to be undecidable even for progr...
WCRE
2008
IEEE
15 years 5 months ago
2008
IEEE
Abstract. The Design Navigator is a tool for reverseengineering object-oriented programs into formal charts evel of abstraction. We show how the Design r discovers abstract buildin...