1147 search results - page 38 / 230 » Termination in language-based systems |
FROCOS
2007
Springer
14 years 18 days ago
2007
Springer
Abstract. Nowadays, formal methods rely on tools of different kinds: proof assistants with which the user interacts to discover a proof step by step; and fully automated tools whic...
CSE
2009
IEEE
14 years 3 months ago
2009
IEEE
—In this paper we present a design methodology for the identification and development of a suitable hardware platform (including dedicated hardware accelerators) for the data pl...
COMCOM
2011
13 years 3 months ago
2011
The rapid proliferation of mobile computing devices and local wireless networks over the past few years has promoted a continuously growing interest in location-aware systems and ...
DSOM
2003
Springer
14 years 1 months ago
2003
Springer
The increasing software complexity of wireless devices and wireless data service provisioning motivates a wireless terminal management challenge. The systems management solution fo...
CADE
2008
Springer
14 years 9 months ago
2008
Springer
Abstract. We present the first terminating tableau calculus for basic hybrid logic with the difference modality and converse modalities. The language under consideration is basic m...