Sciweavers

7209 search results - page 310 / 1442
» Software Engineering for Multi-Agent Systems
Sort
View
90
Voted
ICSM
2009
IEEE
15 years 7 months ago
A statistical examination of the evolution and properties of libre software
How and why does software evolve? This question has been under study since almost 40 years ago, and it is still a subject of controversy. In the seventies, Meir M. Lehman formulat...
Israel Herraiz
100
Voted
MODELS
2009
Springer
15 years 7 months ago
Evaluating Context Descriptions and Property Definition Patterns for Software Formal Validation
A well known challenge in the formal methods domain is to improve their integration with practical engineering methods. In the context of embedded systems, model checking requires ...
Philippe Dhaussy, Pierre Yves Pillain, Stephen Cre...
104
Voted
EUROMICRO
2009
IEEE
15 years 7 months ago
A Component-Based Technology for Hardware and Software Components
One of the challenges in development of embedded systems is to cope with hardware and software components simultaneously. Often is their integration cumbersome due to their incomp...
Luka Lednicki, Ana Petricic, Mario Zagar
92
Voted
SEW
2003
IEEE
15 years 6 months ago
Addressing Software Security and Mitigations in the Life Cycle
Traditionally, security is viewed as an organizational and Information Technology (IT) systems function comprising of firewalls, intrusion detection systems (IDS), system security...
David P. Gilliam, John D. Powell, Eric Haugh, Matt...
113
Voted
SIGIR
2005
ACM
15 years 6 months ago
Improving collection selection with overlap awareness in P2P search engines
Collection selection has been a research issue for years. Typically, in related work, precomputed statistics are employed in order to estimate the expected result quality of each ...
Matthias Bender, Sebastian Michel, Peter Triantafi...