6174 search results - page 991 / 1235 » The language of social software |
187
click to vote
TASE
2007
IEEE
16 years 26 days ago
2007
IEEE
Telco services are evolving under several aspects: for instance, services may combine different telecommunication features (messaging, multi-media, etc.) and may be activated and...
187
click to vote
B
2007
Springer
16 years 23 days ago
2007
Springer
Abstract. CSP B is an integration of the process algebra Communicating Sequential Processes (CSP), and the B-Method, which enables consistent controllers to be written for B machin...
170
click to vote
B
2007
Springer
16 years 23 days ago
2007
Springer
Symmetry reduction is an established method for limiting the amount of states that have to be checked during exhaustive model checking. The idea is to only verify a single represen...
217
click to vote
BTW
2007
Springer
16 years 23 days ago
2007
Springer
: For the integration of data that resides in autonomous data sources Software AG uses ontologies. Data source ontologies describe the data sources themselves. Business ontologies ...
167
click to vote
ECOWS
2007
Springer
16 years 23 days ago
2007
Springer
Web services are often employed to create wide distributed evolvable applications from existing components that constitute a service-based software system. ServicesOriented Archit...