Sciweavers

3688 search results - page 228 / 738
» Static analysis of aspects
Sort
View
208
Voted
AROBOTS
2011
15 years 1 months ago
Cooperative manipulation and transportation with aerial robots
—In this paper we consider the problem of controlling multiple robots manipulating and transporting a payload in three dimensions via cables. We develop robot configurations tha...
Nathan Michael, Jonathan Fink, Vijay Kumar
AOSD
2010
ACM
16 years 1 months ago
Type relaxed weaving
Statically typed aspect-oriented programming languages restrict application of around advice only to the join points that have conforming types. Though the restriction guarantees ...
Hidehiko Masuhara, Atsushi Igarashi, Manabu Toyama
COMPLEX
2009
Springer
16 years 1 months ago
Toward Automatic Discovery of Malware Signature for Anti-Virus Cloud Computing
Security vendors are facing a serious problem of defeating the complexity of malwares. With the popularity and the variety of zeroday malware over the Internet, generating their si...
Wei Yan, Erik Wu
ATAL
2007
Springer
16 years 24 days ago
An agent-based methodology for analyzing and visualizing educational assessment data
We examine data collected from on-line assessments of the numeracy and literacy skills of young students in order to construct probabilistic agent-based controllers. We demonstrat...
Elizabeth Sklar, Jordan Salvit, Christopher Camach...
SEMWEB
2007
Springer
16 years 22 days ago
DRIFT: A Framework for Ontology-based Design Support Systems
This paper proposes a framework for ontology-based design support systems, called DRIFT (Design Rationale Integration Framework of Three layers), which records, structures and retr...
Yutaka Nomaguchi, Kikuo Fujita