Sciweavers

1693 search results - page 204 / 339
» Pattern-Recognition: a Foundational Approach
Sort
View
ECEASST
2010
15 years 2 months ago
Graph Algebras for Bigraphs
In this talk we will present a new approach to deal with attributed graphs and attributed graph transformation. The approach is based on working with what we call symbolic graphs, ...
Davide Grohmann, Marino Miculan
JSS
2010
132views more  JSS 2010»
15 years 9 days ago
Formal specification of the variants and behavioural features of design patterns
The formal specification of design patterns is widely recognized as being vital to their effective and correct use in software development. It can clarify the concepts underlying ...
Ian Bayley, Hong Zhu
235
Voted
SIGMOD
2006
ACM
156views Database» more  SIGMOD 2006»
16 years 5 months ago
Data delivery in a service-oriented world: the BEA aquaLogic data services platform
"Wow. I fell asleep listening to SOA music, and when I woke up, I couldn't remember where I'd put my data. Now what?" Has this happened to you? With the new pu...
Michael J. Carey
ICSE
2007
IEEE-ACM
16 years 5 months ago
Formal Software Analysis Emerging Trends in Software Model Checking
The study of methodologies and techniques to produce correct software has been active for four decades. During this period, researchers have developed and investigated a wide vari...
Matthew B. Dwyer, John Hatcliff, Robby, Corina S. ...
141
Voted
IRI
2007
IEEE
15 years 12 months ago
Declarative Web 2.0
Web 2.0 applications have become popular as drivers of new types of Web content, but they have also introduced a new level of interface design in Web development; they are focusin...
Erik Wilde