Sciweavers

2206 search results - page 303 / 442
» Software Engineering and Modeling Education: Problems and So...
Sort
View
INTERACT
2007
15 years 8 months ago
Face-to-Face Sociability Signs Made Explicit in CMC
This paper discusses how semiotic engineering can support the formulation of problems and solutions involved in handling face-to-face (F2F) sociability models in computer-mediated ...
Carla Faria Leitão, Clarisse Sieckenius de ...
TIP
2010
119views more  TIP 2010»
15 years 1 months ago
Fast Cartoon + Texture Image Filters
Abstract--Can images be decomposed into the sum of a geometric part and a textural part? In a theoretical breakthrough, [Y. Meyer, Oscillating Patterns in Image Processing and Nonl...
Antoni Buades, Triet M. Le, Jean-Michel Morel, Lum...
ANOR
2007
151views more  ANOR 2007»
15 years 6 months ago
Distributed personnel scheduling - negotiation among scheduling agents
This paper introduces a model for Distributed Employee Timetabling Problems (DisETPs) and proposes a general architecture for solving DisETPs by using a Multi Agent System (MAS) pa...
Eliezer Kaplansky, Amnon Meisels
ICSE
2004
IEEE-ACM
16 years 6 months ago
Theme: An Approach for Aspect-Oriented Analysis and Design
Aspects are behaviours that are tangled and scattered across a system. In requirements documentation, aspects manifest themselves as descriptions of behaviours that are intertwine...
Elisa L. A. Baniassad, Siobhán Clarke
ISSTA
2006
ACM
16 years 14 days ago
Breaking up is hard to do: an investigation of decomposition for assume-guarantee reasoning
Finite-state verification techniques are often hampered by the stateexplosion problem. One proposed approach for addressing this problem is assume-guarantee reasoning. Using rece...
Jamieson M. Cobleigh, George S. Avrunin, Lori A. C...