Sciweavers

3190 search results - page 443 / 638
» cans 2011
Sort
View
ICSE
2011
IEEE-ACM
14 years 10 months ago
Leveraging software architectures to guide and verify the development of sense/compute/control applications
A software architecture describes the structure of a computing system by specifying software components and their interactions. Mapping a software architecture to an implementatio...
Damien Cassou, Emilie Balland, Charles Consel, Jul...
ICWE
2011
Springer
14 years 10 months ago
Reusing Web Application User-Interface Controls
Abstract. Highly interactive web applications that offer user experience and responsiveness of desktop applications are becoming increasingly popular. They are often composed out ...
Josip Maras, Maja Stula, Jan Carlson
ICWE
2011
Springer
14 years 10 months ago
Learning Semantic Relationships between Entities in Twitter
In this paper, we investigate whether semantic relationships between entities can be learnt from analyzing microblog posts published on Twitter. We identify semantic links between ...
Ilknur Celik, Fabian Abel, Geert-Jan Houben
IEAAIE
2011
Springer
14 years 10 months ago
Informative Sentence Retrieval for Domain Specific Terminologies
Domain specific terminologies represent important concepts when students study a subject. If the sentences which describe important concepts related to a terminology can be accesse...
Jia-Ling Koh, Chin-Wei Cho
IEAAIE
2011
Springer
14 years 10 months ago
Model Checking Commitment Protocols
Using model checking to verify that interaction protocols have given properties is widely recognized as an important issue in multiagent systems where autonomous and heterogeneous ...
Mohamed El-Menshawy, Jamal Bentahar, Rachida Dssou...