Sciweavers

1515 search results - page 92 / 303
» On the relation of aspects and monads
Sort
View
W4A
2006
ACM
14 years 2 months ago
Web accessibility: is it just a "merry-go-round"?
While many of the issues that are being raised in relation to mobile web accessibility are similar or the same to those that have been promoted over the past few years in relation...
Donna Smillie
ASWEC
2005
IEEE
14 years 2 months ago
Detecting Indirect Coupling
Coupling is considered by many to be an important concept in measuring design quality. There is still much to be learned about which aspects of coupling affect design quality or o...
Hong Yul Yang, Ewan D. Tempero, Rebecca Berrigan
FOSSACS
2005
Springer
14 years 2 months ago
A Unifying Model of Variables and Names
Abstract. We investigate a category theoretic model where both “variables” and “names”, usually viewed as separate notions, are particular cases of the more general notion ...
Marino Miculan, Kidane Yemane
ACSAC
2003
IEEE
14 years 2 months ago
A Multi-View Tool for Checking the Security Semantics of Router Configurations
Routers are critical components of IP networks, but hardly any tool support for analyzing their security exists to date. We have developed such a tool, named CROCODILE, that track...
Holger Peine, Reinhard Schwarz
ECAL
2003
Springer
14 years 2 months ago
Representation of Genotype and Phenotype in a Coherent Framework Based on Extended L-Systems
A formal language approach for the specification of ALife models is presented. “Relational Growth Grammars” incorporate rulebased, procedural and object-oriented concepts. By ...
Ole Kniemeyer, Gerhard H. Buck-Sorlin, Winfried Ku...