4245 search results - page 413 / 849 » Integrating Software by Integrating People |
169
Voted
ATAL
2003
Springer
16 years 2 days ago
2003
Springer
Traditional centralised approaches to security are difficult to apply to large, distributed marketplaces in which software agents operate. Developing a notion of trust that is ba...
173
click to vote
FASE
2003
Springer
16 years 2 days ago
2003
Springer
Scenarios are powerful tools to model and analyze software systems. However, since they do not provide a complete description of the system, but just some possible execution paths,...
178
Voted
CODES
2002
IEEE
15 years 11 months ago
2002
IEEE
We challenge the widespread assumption that an embedded system’s functionality can be captured in a single specification and then partitioned among software and custom hardware ...
159
click to vote
UIST
2000
ACM
15 years 11 months ago
2000
ACM
Software support for making effective pen-based applications is currently rudimentary. To facilitate the creation of such applications, we have developed SATIN, a Java-based toolk...
196
click to vote
APSEC
1999
IEEE
15 years 11 months ago
1999
IEEE
For the practical development of provably correct software for embedded systems the close integration of CASE tools and verification tools is required. This paper describes the co...