1351 search results - page 139 / 271 » Towards a Spreadsheet Engineering |
122
click to vote
ICMAS
1998
15 years 5 months ago
1998
This paper describes how multiple interacting swarms of adaptive mobile agents can be used to solve problems in networks. The paper introduces a new architectural description for ...
143
click to vote
WOA
2000
15 years 5 months ago
2000
There is a growing interest in the integration of mechanized reasoning systems such as automated theorem provers, computer algebra systems, and model checkers. State-of-the-art re...
154
click to vote
SOFTVIS
2010
ACM
15 years 4 months ago
2010
ACM
Developers must often diagnose anomalies in programs they only have a partial knowledge of. As a result, they must simultaneously reverse engineer parts of the system they are unf...
144
click to vote
ICDE
2010
IEEE
15 years 4 months ago
2010
IEEE
— As person names are non-unique, the same name on different Web pages might or might not refer to the same real-world person. This entity identification problem is one of the m...
126
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
The Session Initiation Protocol (SIP) has become the most predominant protocol for Voice over Internet Protocol (VoIP) signaling. Security of SIP is an important consideration for...