Sciweavers

3481 search results - page 446 / 697
» Architecture as Object Models of Software
Sort
View
IADIS
2004
15 years 6 months ago
Towards interoperability of wireless services - a description model of service interfaces
Web services are evolving quickly in terms of standardization. Technology and wireless networks exact requirements upon web services used via wireless connections, such as mobile ...
Anne Immonen, Jarkko Holappa, Päivi Kallio, J...
INFORMATICALT
2008
120views more  INFORMATICALT 2008»
15 years 4 months ago
Nonlinear Behaviour in the MPI-Parallelised Model of the Rat Somatosensory Cortex
Mammalian brains consisting of up to 1011 neurons belong to group of the most complex systems in the Universe. For years they have been one of the hardest objects of simulation. Th...
Grzegorz M. Wojcik, Wieslaw A. Kaminski
EMSOFT
2011
Springer
14 years 4 months ago
From boolean to quantitative synthesis
Motivated by improvements in constraint-solving technology and by the increase of routinely available computational power, partial-program synthesis is emerging as an effective a...
Pavol Cerný, Thomas A. Henzinger
EMSOFT
2011
Springer
14 years 4 months ago
Model-checking behavioral programs
System specifications are often structured as collections of scenarios and use-cases that describe desired and forbidden sequences of events. A recently proposed behavioral progr...
David Harel, Robby Lampert, Assaf Marron, Gera Wei...
142
Voted
SUTC
2008
IEEE
15 years 11 months ago
Security Enforcement Model for Distributed Usage Control
Recently proposed usage control concept and models extend traditional access control models with features for contemporary distributed computing systems, including continuous acce...
Xinwen Zhang, Jean-Pierre Seifert, Ravi S. Sandhu