Sciweavers

3436 search results - page 488 / 688
» Software Tools for Performance Modeling of Parallel Programs
Sort
View
CLIMA
2011
14 years 1 months ago
Verifying Team Formation Protocols with Probabilistic Model Checking
Multi-agent systems are an increasingly important software paradigm and in many of its applications agents cooperate to achieve a particular goal. This requires the design of effi...
Taolue Chen, Marta Z. Kwiatkowska, David Parker, A...
114
Voted
DATE
2006
IEEE
157views Hardware» more  DATE 2006»
15 years 8 months ago
Modeling and simulation of mobile gateways interacting with wireless sensor networks
Sensor networks are emerging wireless technologies; their integration with the existing 2.5G, 3G mobile networks is a key issue to provide advanced services, e.g., health control....
Franco Fummi, Davide Quaglia, Fabio Ricciato, Maur...
143
Voted
SIGSOFT
2007
ACM
16 years 2 months ago
Efficient token based clone detection with flexible tokenization
Code clones are similar code fragments that occur at multiple locations in a software system. Detection of code clones provides useful information for maintenance, reengineering, ...
Hamid Abdul Basit, Stan Jarzabek
TASE
2008
IEEE
15 years 8 months ago
ProB gets Nauty: Effective Symmetry Reduction for B and Z Models
Symmetry reduction holds great promise to counter the state explosion problem. However, currently it is “conducting a life on the fringe”, and is not widely applied, mainly du...
Corinna Spermann, Michael Leuschel
119
Voted
WSTST
2005
Springer
15 years 7 months ago
Soft Modeling of Group Dynamics and Behavioral Attributes
: Social networks, religion and culture of human beings play a major role in the day-to-day activities performed by each individual in group oriented missions. The aggregation and ...
Soumya Banerjee, Ajith Abraham, Sang-Yong Han, P. ...