4904 search results - page 376 / 981 » Groupware: Issues and Applications |
175
click to vote
ISMIR
2004
Springer
16 years 6 days ago
2004
Springer
Future MIR systems will be of great use and pleasure for potential users. If researchers have a clear picture about their “customers” in mind they can aim at building and eval...
204
click to vote
PADL
2004
Springer
16 years 5 days ago
2004
Springer
Gentzen’s Hauptsatz – cut elimination theorem – in sequent calculi reveals a fundamental property on logic connectives in various logics such as classical logic and intuition...
167
click to vote
DATE
2003
IEEE
16 years 4 days ago
2003
IEEE
The model-based methodology has proven to be effective for fast and low-cost development of embedded software. In the model-based development process, transforming a software stru...
163
click to vote
ICPPW
2003
IEEE
16 years 3 days ago
2003
IEEE
In a classic paper, among a multitude of other security issues, Claude E. Shannon defined perfect secrecy for a pair of secure computers communicating over an insecure link. The ...
173
click to vote
ICPPW
2003
IEEE
16 years 3 days ago
2003
IEEE
Recent work in high-performance computing has shifted attention to PC clusters.. For PC-clusters, member nodes are independent computers connected by generalpurpose networks. The ...