12774 search results - page 228 / 2555 » A Framework for Proof Systems |
231
click to vote
TKDE
2010
15 years 5 months ago
2010
—Social Tagging is the process by which many users add metadata in the form of keywords, to annotate and categorize items (songs, pictures, web links, products, etc.). Social tag...
146
click to vote
WRAC
2005
Springer
16 years 2 days ago
2005
Springer
The systemic theory associates open systems and complexity closely. This article presents a particular articulation between these two concepts using the Systemion Model. Two types ...
183
click to vote
ISORC
2000
IEEE
15 years 11 months ago
2000
IEEE
This paper describes how GLADE, our implementation of the Ada 95 Distributed Systems Annex, can be used to build large object-oriented real-time distributed systems. In addition t...
200
click to vote
ERSA
2006
15 years 8 months ago
2006
Reconfigurable devices, such as FPGAs, introduce into the design workflow of embedded systems a new degree of freedom: the designer can have the system autonomously modify the fun...
