2056 search results - page 281 / 412 » Software Architectural Design Meets Security Engineering |
SCAM
2008
IEEE
14 years 4 months ago
2008
IEEE
Parfait is a bug checker of C code that has been designed to address developers’ requirements of scalability (support millions of lines of code in a reasonable amount of time), ...
CASES
2005
ACM
14 years 4 days ago
2005
ACM
Instruction set customization accelerates the performance of applications by compressing the length of critical dependence paths and reducing the demands on processor resources. W...
ATAL
2006
Springer
14 years 1 months ago
2006
Springer
The modular representation of concerns is imperative in the design modeling of multi-agent systems (MASs). However, MAS designers typically face a number of concerns that inherent...
IUI
2010
ACM
14 years 3 months ago
2010
ACM
While web search tasks are often inherently collaborative in nature, many search engines do not explicitly support collaboration during search. In this paper, we describe HeyStaks...
CODES
2000
IEEE
14 years 2 months ago
2000
IEEE
Frequency interleaving is introduced as a means of conceptualizing and co-scheduling hardware and software behaviors so that software models with conceptually unbounded state and ...