5550 search results - page 1036 / 1110 » Different Approaches to Proof Systems |
165
click to vote
GROUP
2005
ACM
15 years 12 months ago
2005
ACM
Shared workspace systems provide virtual places for selforganized and semi-structured cooperation between local and distributed team members. These cooperation systems have been a...
193
click to vote
GECCO
2005
Springer
15 years 12 months ago
2005
Springer
A fuzzy logic algorithm has been developed that automatically allocates electronic attack (EA) resources distributed over different platforms in real-time. The controller must be ...
169
click to vote
CAISE
2004
Springer
15 years 11 months ago
2004
Springer
This paper outlines an ontology for characterising architecture frameworks. The ontology is based on the metamodel of MAF, and is currently being tried out on a set of well-known e...
215
click to vote
WORDS
2003
IEEE
15 years 11 months ago
2003
IEEE
Service Oriented Programming - which combines Distributed Object Compunting, Component Based and webbased concepts - has recently emerged as a promising approach to develop dynami...
189
click to vote
MM
2003
ACM
15 years 11 months ago
2003
ACM
Optimizing user experience for streaming video applications on handheld devices is a significant research challenge. In this paper, we propose an integrated power management appr...