8083 search results - page 1367 / 1617 » A Formalization of Software Architecture |
161
click to vote
ARCS
2005
Springer
16 years 4 days ago
2005
Springer
Abstract. The SoC (System-on-Chip) technology is used in small and flexible consumer electronic devices. SoCs include one or more microcontroller, memory, programmable logic, and ...
211
click to vote
EKAW
2004
Springer
16 years 1 days ago
2004
Springer
In order to enable knowledge sharing and reuse among software entities, artificial intelligence researchers have proposed to develop ‘ontologies’ as the explicit formal specifi...
159
click to vote
GG
2004
Springer
16 years 1 days ago
2004
Springer
The concept of typed attributed graph transformation is most significant for modeling and meta modeling in software engineering and visual languages, but up to now there is no ade...
179
click to vote
GI
2004
Springer
16 years 1 days ago
2004
Springer
: There is an emerging amount of software for generating and manipulating XML documents. This paper addresses the problem of guaranteeing the validity of dynamically generated XML ...
163
click to vote
OOPSLA
2004
Springer
16 years 17 hour ago
2004
Springer
Many techniques have been developed over the years to automatically find bugs in software. Often, these techniques rely on formal methods and sophisticated program analysis. Whil...