4418 search results - page 299 / 884 » A Formal Approach to Computer Systems Requirements Documenta... |
193
click to vote
ITNG
2008
IEEE
16 years 1 months ago
2008
IEEE
Achieving a quality software system requires UML designers a good understanding of both design patterns and antipatterns. Unfortunately, UML models for real systems tend to be huge...
180
click to vote
ATAL
2003
Springer
15 years 12 months ago
2003
Springer
Formal theories of multi-agent systems require a rich ontology for modelling the dynamics of social behaviour. In this paper a formal analysis of the social behaviour of individua...
245
click to vote
ICDCS
2012
IEEE
13 years 9 months ago
2012
IEEE
—The Web 2.0 era is characterized by the emergence of a very large amount of live content. A real time and finegrained content filtering approach can precisely keep users upto-...
199
click to vote
FC
2007
Springer
16 years 25 days ago
2007
Springer
This paper introduces Hidden Identity-based Signatures (Hidden-IBS), a type of digital signatures that provide mediated signer-anonymity on top of Shamir’s Identity-based signat...
136
click to vote
IADIS
2004
15 years 8 months ago
2004
The evolving nature of complex traffic issues of IP (Internet Protocol)-based Telecollaboration (TC) business system technology requires an intuitive understanding for the partici...