855 search results - page 146 / 171 » A Software Synthesis Tool for Distributed Embedded System De... |
CSFW
2010
IEEE
14 years 21 days ago
2010
IEEE
—We propose a formal model of web security based straction of the web platform and use this model to analyze the security of several sample web mechanisms and applications. We id...
EMSOFT
2008
Springer
13 years 10 months ago
2008
Springer
This paper presents an EDF-based algorithm, called Earliest Deadline Deferrable Portion (EDDP), for efficient scheduling of recurrent real-time tasks on multiprocessor systems. Th...
ICDCS
2011
IEEE
12 years 8 months ago
2011
IEEE
—In this paper, we propose E-Shadow, a distributed mobile phone-based local social networking system. E-Shadow has two main components: (1) Local profiles. They enable EShadow u...
HICSS
2003
IEEE
14 years 2 months ago
2003
IEEE
From the 1990s on, one of the most important challenges facing computer science researchers has been the design and construction of software tools to exploit Internet computing. A...
CODES
2009
IEEE
14 years 3 days ago
2009
IEEE
Technological advancements due to Moore’s law have led to the proliferation of complex wireless sensor network (WSN) domains. One commonality across all WSN domains is the need ...