675 search results - page 57 / 135 » Mobilization of software developers: the free software movem... |
MOBISEC
2009
Springer
14 years 3 months ago
2009
Springer
Abstract. Current measures to enhance the security of untrusted mobile applications require a user to trust the software vendor. They do not guarantee complete protection against t...
TLCA
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. This paper proposes two typing systems for session interactions in higherorder mobile processes. Session types for the HOπ-calculus capture high-level structures nicatio...
ICRA
2006
IEEE
14 years 2 months ago
2006
IEEE
– To make a mobile robot with real-time vision system adapt to the highly dynamic environments and emergencies under the real-time constraints, a significant account of processin...
WCRE
2010
IEEE
13 years 7 months ago
2010
IEEE
Abstract—During software development, design rules and contracts in the source code are often encoded through regularities, such as API usage protocols, coding idioms and naming ...
ISIM
2007
13 years 10 months ago
2007
Common features of current information systems have significant impact on software architectures of these systems. The systems can not be realised as monoliths, formal specifica...