2409 search results - page 225 / 482 » Logical systems for structured specifications |
133
click to vote
JIS
2006
15 years 4 months ago
2006
Collaborative tagging describes the process by which many users add metadata in the form of keywords to shared content. Recently, collaborative tagging has grown in popularity on ...
443
click to vote
KER
2007
15 years 4 months ago
2007
Pervasive computing is by its nature open and extensible, and must integrate the information from a diverse range of sources. This leads to a problem of information exchange, so s...
153
click to vote
CAISE
2005
Springer
15 years 10 months ago
2005
Springer
: In this paper, we propose an MDA based approach for developing multi-agent systems. MDA specifies a structured software development process divided in modeling stages. In the PIM...
134
click to vote
ISSS
2000
IEEE
15 years 9 months ago
2000
IEEE
This paper concerns automatic hardware synthesis from data flow graph (DFG) specification in system level design. In the presented design methodology, each node of a data flow gra...
147
click to vote
DAGSTUHL
2007
15 years 6 months ago
2007
Driven by the ongoing demographical, structural, and social changes in all modern, industrialized countries, there is a huge interest in IT-based equipment and services these days...