Sciweavers

2806 search results - page 187 / 562
» BML and Related Tools
Sort
View
CL
2006
Springer
15 years 7 months ago
Co-evolving code and design with intensional views: A case study
Intensional views and relations have been proposed as a way of actively documenting high-level structural regularities in the source code of a software system. By checking conform...
Kim Mens, Andy Kellens, Frédéric Plu...
IJON
2008
100views more  IJON 2008»
15 years 7 months ago
EvOL-Neuron: Neuronal morphology generation
Virtual neurons are essential in computational neuroscience to study the relation between neuronal form and function. One way of obtaining virtual neurons is by algorithmic genera...
Ben Torben-Nielsen, Karl Tuyls, Eric O. Postma
ELECTRONICMARKETS
2007
69views more  ELECTRONICMARKETS 2007»
15 years 7 months ago
Mobile Service Bundles: The Example of Navigation Services
In this paper we explore which bundles of services are attractive to users. We look specifically in bundle composition with navigation services as core, and travel and entertainme...
Harry Bouwman, Timber Haaker, Henny de Vos
STTT
2008
134views more  STTT 2008»
15 years 7 months ago
Automated verification of access control policies using a SAT solver
Abstract. Managing access control policies in modern computer systems can be challenging and error-prone. Combining multiple disparate access policies can introduce unintended cons...
Graham Hughes, Tevfik Bultan
WS
2008
ACM
15 years 7 months ago
hGRDDL: Bridging microformats and RDFa
We propose hGRDDL (pronounced "h-griddle"), a simple mechanism for transforming ad-hoc HTML-embedded structured data, such as microformats, into RDFa. This technique pre...
Ben Adida