7209 search results - page 1012 / 1442 » Software Engineering for Multi-Agent Systems |
152
Voted
AFP
2004
Springer
15 years 9 months ago
2004
Springer
Abstraction and application, tupling and projection: these provide the ‘software engineering’ superstructure for programs, and our familiar type systems ensure that these opera...
133
Voted
VSTTE
2005
Springer
15 years 9 months ago
2005
Springer
The validation of modern software systems on mobile devices needs to incorporate both functional and non-functional requirements. While some progress has been made in validating pe...
162
Voted
ICSE
2012
IEEE-ACM
13 years 6 months ago
2012
IEEE-ACM
—Given limited resource and time before software release, development-site testing and debugging become more and more insufficient to ensure satisfactory software performance. As...
134
Voted
EUROSYS
2008
ACM
16 years 21 days ago
2008
ACM
Causal request traces are valuable to developers of large concurrent and distributed applications, yet difficult to obtain. Traces show how a request is processed, and can be anal...
112
Voted
EUROSYS
2007
ACM
16 years 21 days ago
2007
ACM
Understanding the detailed behavior of an operating system is crucial for making informed design decisions. But such an understanding is very hard to achieve, due to the increasin...